#include <parser.h>
Public Member Functions | |
And () | |
void | addBranch (Node *n) |
void | addCondition (Condition *c) |
void | print (std::ostream &o) |
void | printNoBracket (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 |
list< Condition * > | conditions |
Definition at line 175 of file parser.h.
And::And | ( | ) |
void And::addBranch | ( | Node * | n | ) |
Definition at line 463 of file parser.cpp.
References branchs.
Referenced by duplicate(), Unification::SetDisjunctiveSystem(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
void And::addCondition | ( | Condition * | c | ) |
Definition at line 468 of file parser.cpp.
References conditions.
Referenced by Unification::SetDisjunctiveSystem(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
void And::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Node.
Definition at line 217 of file parser.cpp.
References printNoBracket().
void And::printNoBracket | ( | std::ostream & | o | ) |
Definition at line 190 of file parser.cpp.
References branchs, conditions, globconfig, Configuration::LATEX, and Configuration::writeMode.
Referenced by print().
void And::checkSoundnessAndCalcul | ( | ) | [virtual] |
Reimplemented from Node.
Definition at line 587 of file parser.cpp.
References branchs, Node::ndHole, Node::ndterms, and Node::rhoterm.
bool And::containVar | ( | int | idvar | ) | [virtual] |
the search for a variable
Reimplemented from Node.
Definition at line 849 of file parser.cpp.
References branchs.
void And::replace | ( | int | idvar, | |
Node * | n | |||
) | [virtual] |
repalce a variable by a generic node
Reimplemented from Node.
Definition at line 914 of file parser.cpp.
References branchs, Node::duplicate(), and Node::replace().
Node * And::duplicate | ( | ) | [virtual] |
duplicate the node
Implements Node.
Definition at line 1019 of file parser.cpp.
References addBranch(), And(), and branchs.
Referenced by Unification::tryApplyR3().
bool And::isEqual | ( | Node * | n | ) | [virtual] |
equality of structure
Reimplemented from Node.
Definition at line 1206 of file parser.cpp.
References branchs, and conditions.
list<Node*> And::branchs |
Definition at line 178 of file parser.h.
Referenced by addBranch(), Unification::ApplyR0(), checkSoundnessAndCalcul(), containVar(), duplicate(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), printNoBracket(), replace(), and Unification::tryApplyR1().
list<Condition*> And::conditions |
Definition at line 179 of file parser.h.
Referenced by addCondition(), Unification::ApplyR0(), Solver::Graph::explo(), Unification::exploDefinition(), isEqual(), printNoBracket(), and Unification::tryApplyR4().