#include <parser.h>
Public Member Functions | |
Or () | |
void | addBranch (Node *n) |
void | print (std::ostream &o) |
void | checkSoundnessAndCalcul () |
bool | containVar (int idvar) |
void | replace (int idvar, Node *n) |
Node * | duplicate () |
bool | isEqual (Node *n) |
Public Attributes | |
list< Node * > | branchs |
Definition at line 103 of file parser.h.
Or::Or | ( | ) |
void Or::addBranch | ( | Node * | n | ) |
Definition at line 425 of file parser.cpp.
References branchs.
Referenced by duplicate(), Unification::SetDisjunctiveSystem(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
void Or::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Node.
Definition at line 312 of file parser.cpp.
References branchs, globconfig, Configuration::LATEX, and Configuration::writeMode.
void Or::checkSoundnessAndCalcul | ( | ) | [virtual] |
Reimplemented from Node.
Definition at line 603 of file parser.cpp.
References branchs, Node::ndHole, Node::ndterms, and Node::rhoterm.
bool Or::containVar | ( | int | idvar | ) | [virtual] |
the search for a variable
Reimplemented from Node.
Definition at line 861 of file parser.cpp.
References branchs.
void Or::replace | ( | int | idvar, | |
Node * | n | |||
) | [virtual] |
repalce a variable by a generic node
Reimplemented from Node.
Definition at line 902 of file parser.cpp.
References branchs, Node::duplicate(), and Node::replace().
Node * Or::duplicate | ( | ) | [virtual] |
duplicate the node
Implements Node.
Definition at line 1007 of file parser.cpp.
References addBranch(), branchs, and Or().
bool Or::isEqual | ( | Node * | n | ) | [virtual] |
equality of structure
Reimplemented from Node.
Definition at line 1189 of file parser.cpp.
References branchs.
list<Node*> Or::branchs |
Definition at line 106 of file parser.h.
Referenced by addBranch(), Unification::ApplyR0(), checkSoundnessAndCalcul(), containVar(), duplicate(), isEqual(), print(), replace(), Unification::tryApplyR4(), and Unification::tryApplyR5().