CondNplusN Class Reference

#include <parser.h>

Inheritance diagram for CondNplusN:

Inheritance graph
[legend]
Collaboration diagram for CondNplusN:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 CondNplusN (NumericalVar *n1, NumericalVar *n2, NumericalVar *n3)
void print (std::ostream &o)
Conditionduplicate ()
bool isEqual (Condition *n)

Public Attributes

NumericalVarn2
NumericalVarn3


Detailed Description

Definition at line 152 of file parser.h.


Constructor & Destructor Documentation

CondNplusN::CondNplusN ( NumericalVar n1,
NumericalVar n2,
NumericalVar n3 
)

Definition at line 444 of file parser.cpp.

Referenced by duplicate().


Member Function Documentation

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

Reimplemented from Condition.

Definition at line 276 of file parser.cpp.

References Condition::n1, n2, n3, and NumericalVar::print().

Here is the call graph for this function:

Condition * CondNplusN::duplicate (  )  [virtual]

Implements Condition.

Definition at line 980 of file parser.cpp.

References CondNplusN(), NumericalVar::duplicate(), Condition::n1, n2, and n3.

Here is the call graph for this function:

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

Implements Condition.

Definition at line 1277 of file parser.cpp.


Member Data Documentation

Definition at line 155 of file parser.h.

Referenced by duplicate(), and print().

Definition at line 156 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:30 2008 for unification by  doxygen 1.5.6