addBranch(Node *n) | And | |
addCondition(Condition *c) | And | |
And() | And | |
branchs | And | |
buildOneAndReplace(list< unsigned int > &path, Node *sub) | Node | [virtual] |
checkSoundnessAndCalcul() | And | [virtual] |
conditions | And | |
containVar(int idvar) | And | [virtual] |
duplicate() | And | [virtual] |
find(list< unsigned int > &path) | Node | [virtual] |
holePosition | Node | |
isEqual(Node *n) | And | [virtual] |
ndHole | Node | |
ndterms | Node | [static] |
Node() | Node | |
print(std::ostream &o) | And | [virtual] |
printNoBracket(std::ostream &o) | And | |
replace(int idvar, Node *n) | And | [virtual] |
rhoterm | Node | |
~Node() | Node | [virtual] |