append(const list< unsigned int > &l1, const list< unsigned int > &l2) | Unification | [static] |
ApplyR0(Node *start=NULL) | Unification | |
checkDefinition() | Unification | |
configuration | Unification | |
debugDisplay(ostream &s) | Unification | |
exploDefinition(Node *n, SimpleSolution *solution) | Unification | |
gcd(unsigned int a, unsigned int b) | Unification | [static] |
parser | Unification | |
prefix(const list< unsigned int > &l1, const list< unsigned int > &l2) | Unification | [static] |
result | Unification | |
run() | Unification | |
SetDisjunctiveSystem(Node *start=NULL) | Unification | |
solutions | Unification | |
tryApplyR1() | Unification | |
tryApplyR2() | Unification | |
tryApplyR3() | Unification | |
tryApplyR4() | Unification | |
tryApplyR5() | Unification | |
Unification(Configuration *configuration, Parser *parser) | Unification | |
verifValidPresburger(Node *n) | Unification | |
~Unification() | Unification |