_data | Atom | [private] |
apply(const Substitution &subst) | Atom | |
args() const | Atom | [inline] |
Atom() | Atom | [inline] |
Atom(Signature::Pred *p, const TermList &args) | Atom | [inline] |
Atom(Signature::Pred *p) | Atom | [inline] |
Atom(const Term &l, const Term &r) | Atom | [inline] |
Atom(const Atom &a) | Atom | [inline] |
compare(Atom l) const | Atom | |
equal(Atom t) const | Atom | |
functionMonotonicity(Atom a1, Atom a2) | Atom | [static] |
functor() const | Atom | [inline] |
hasVarsNotIn(VarListList) const | Atom | [inline] |
isDefinition(Term &lhs, Term &rhs) const | Atom | |
isEquality() const | Atom | [inline] |
isFlat() const | Atom | [inline] |
isRenamingOf(Atom a, Substitution &sbst) const | Atom | |
isTautology() const | Atom | |
normalize() | Atom | |
occurring(bool *occurrences, Var max) const | Atom | |
occurs(const Signature::Pred *) const | Atom | |
occurs(Var v) const | Atom | |
operator new(size_t) | Atom | |
operator=(const Atom &rhs) | Atom | |
operator==(const Atom &rhs) const | Atom | [inline] |
predicateMonotonicity(Atom a1, Atom a2, Atom a3) | Atom | [static] |
rectify(Substitution &, Var &last, VarList &freeVars) | Atom | |
swap(Atom a) const | Atom | |
transitivity(Atom a1, Atom a2, Atom a3) | Atom | [static] |
~Atom() | Atom | [inline] |