|
DDD 1.9.0.20250910094029
|
This is the complete list of members for StrongMLHom, including all inherited members.
| _MLHom(int ref=0) | _MLHom | inline |
| clone() const =0 | _MLHom | pure virtual |
| eval(const GDDD &) const | StrongMLHom | virtual |
| hash() const =0 | _MLHom | pure virtual |
| mark() const | _MLHom | inlineprivatevirtual |
| marking | _MLHom | mutableprivate |
| operator==(const _MLHom &h) const | StrongMLHom | virtual |
| operator==(const StrongMLHom &) const =0 | StrongMLHom | pure virtual |
| phi(int var, int val) const =0 | StrongMLHom | pure virtual |
| phiOne() const =0 | StrongMLHom | pure virtual |
| refCounter | _MLHom | mutableprivate |
| shouldCache() const | _MLHom | inlinevirtual |
| ~_MLHom() | _MLHom | inlinevirtual |
1.9.8