CondANplusB Class Reference

#include <parser.h>

Inheritance diagram for CondANplusB:

Inheritance graph
[legend]
Collaboration diagram for CondANplusB:

Collaboration graph
[legend]

List of all members.

Public Member Functions

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

Public Attributes

int a
NumericalVarn2
int b


Detailed Description

Definition at line 139 of file parser.h.


Constructor & Destructor Documentation

CondANplusB::CondANplusB ( NumericalVar n1,
int  a,
NumericalVar n2,
int  b 
)

Definition at line 436 of file parser.cpp.

Referenced by duplicate().


Member Function Documentation

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

Reimplemented from Condition.

Definition at line 265 of file parser.cpp.

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

Here is the call graph for this function:

Condition * CondANplusB::duplicate (  )  [virtual]

Implements Condition.

Definition at line 970 of file parser.cpp.

References a, b, CondANplusB(), NumericalVar::duplicate(), Condition::n1, and n2.

Here is the call graph for this function:

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

Implements Condition.

Definition at line 1270 of file parser.cpp.


Member Data Documentation

Definition at line 142 of file parser.h.

Referenced by duplicate(), and print().

Definition at line 143 of file parser.h.

Referenced by duplicate(), and print().

Definition at line 144 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