|
DDD 1.9.0.20250910094029
|
This is the complete list of members for Add, including all inherited members.
| _GHom(int ref=0, bool im=false) | _GHom | inline |
| Add(const std::set< GHom > ¶m, int ref=0) | Add | inline |
| clone() const | Add | inlinevirtual |
| compose(const GHom &r) const | _GHom | virtual |
| creation_counter | _GHom | private |
| eval(const GDDD &d) const | Add | inlinevirtual |
| eval_skip(const GDDD &) const | _GHom | private |
| get_concret(const GHom &ghom) | _GHom | inlinestatic |
| get_have_id() const | Add | inline |
| get_parameters() | Add | inline |
| get_partition(int var) const | Add | inline |
| get_range() const | Add | inlinevirtual |
| has_image(const GDDD &d) const | Add | inlinevirtual |
| has_image_skip(const GDDD &) const | _GHom | |
| hash() const | Add | inlinevirtual |
| have_id | Add | |
| immediat | _GHom | mutableprivate |
| invert(const GDDD &pot) const | Add | inlinevirtual |
| is_selector() const | Add | inlinevirtual |
| mark() const | Add | inlinevirtual |
| marking | _GHom | mutableprivate |
| negate() const | Add | inlinevirtual |
| operator<(const _GHom &h) const | _GHom | |
| operator==(const _GHom &h) const | Add | inlinevirtual |
| param_it typedef | Add | |
| param_t typedef | Add | |
| parameters | Add | |
| partition typedef | Add | |
| partition_cache | Add | mutable |
| partition_cache_type typedef | Add | |
| print(std::ostream &os) const | Add | inlinevirtual |
| refCounter | _GHom | mutableprivate |
| skip_variable(int var) const | Add | inlinevirtual |
| ~_GHom() | _GHom | inlinevirtual |
1.9.8