NumericalVar Class Reference

#include <parser.h>

Collaboration diagram for NumericalVar:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 NumericalVar (const char *name, Parser *parser, bool automatic=true)
void print (std::ostream &o)
NumericalVarduplicate ()
bool isEqual (Node *n)

Public Attributes

int id

Private Attributes

Parserparser


Detailed Description

Definition at line 58 of file parser.h.


Constructor & Destructor Documentation

NumericalVar::NumericalVar ( const char *  name,
Parser parser,
bool  automatic = true 
)

Definition at line 359 of file parser.cpp.

References Parser::numericalvariabletab.

Referenced by duplicate().


Member Function Documentation

void NumericalVar::print ( std::ostream &  o  ) 

NumericalVar * NumericalVar::duplicate (  ) 

Definition at line 965 of file parser.cpp.

References NumericalVar().

Referenced by Expo::duplicate(), CondN::duplicate(), CondNplusN::duplicate(), CondA::duplicate(), CondANplusB::duplicate(), Unification::tryApplyR2(), and Unification::tryApplyR5().

Here is the call graph for this function:

bool NumericalVar::isEqual ( Node n  ) 

Definition at line 1154 of file parser.cpp.


Member Data Documentation

Definition at line 60 of file parser.h.

Referenced by print().


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

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