CondA Class Reference

#include <parser.h>

Inheritance diagram for CondA:

Inheritance graph
[legend]
Collaboration diagram for CondA:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 CondA (NumericalVar *n1, int a)
void print (std::ostream &o)
Conditionduplicate ()
bool isEqual (Condition *n)

Public Attributes

int a


Detailed Description

Definition at line 128 of file parser.h.


Constructor & Destructor Documentation

CondA::CondA ( NumericalVar n1,
int  a 
)

Definition at line 430 of file parser.cpp.

Referenced by duplicate().


Member Function Documentation

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

Reimplemented from Condition.

Definition at line 259 of file parser.cpp.

References a, Condition::n1, and NumericalVar::print().

Here is the call graph for this function:

Condition * CondA::duplicate (  )  [virtual]

Implements Condition.

Definition at line 975 of file parser.cpp.

References a, CondA(), NumericalVar::duplicate(), and Condition::n1.

Here is the call graph for this function:

bool CondA::isEqual ( Condition n  )  [virtual]

Implements Condition.

Definition at line 1263 of file parser.cpp.


Member Data Documentation

int CondA::a

Definition at line 131 of file parser.h.

Referenced by duplicate(), and print().


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

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