And Class Reference

#include <parser.h>

Inheritance diagram for And:

Inheritance graph
[legend]
Collaboration diagram for And:

Collaboration graph
[legend]

List of all members.

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)
Nodeduplicate ()
bool isEqual (Node *n)

Public Attributes

list< Node * > branchs
list< Condition * > conditions


Detailed Description

Definition at line 175 of file parser.h.


Constructor & Destructor Documentation

And::And (  ) 

Definition at line 457 of file parser.cpp.

Referenced by duplicate().


Member Function Documentation

void And::addBranch ( Node n  ) 

void And::addCondition ( Condition c  ) 

void And::print ( std::ostream &  o  )  [virtual]

Reimplemented from Node.

Definition at line 217 of file parser.cpp.

References printNoBracket().

Here is the call graph for this function:

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().

Here is the call graph for this function:

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().

Here is the call graph for this function:

bool And::isEqual ( Node n  )  [virtual]

equality of structure

Reimplemented from Node.

Definition at line 1206 of file parser.cpp.

References branchs, and conditions.


Member Data Documentation


The documentation for this class was generated from the following files:

Generated on Thu Jun 19 19:14:28 2008 for unification by  doxygen 1.5.6