#include <parser.h>
Public Member Functions | |
CondNplusN (NumericalVar *n1, NumericalVar *n2, NumericalVar *n3) | |
void | print (std::ostream &o) |
Condition * | duplicate () |
bool | isEqual (Condition *n) |
Public Attributes | |
NumericalVar * | n2 |
NumericalVar * | n3 |
Definition at line 152 of file parser.h.
CondNplusN::CondNplusN | ( | NumericalVar * | n1, | |
NumericalVar * | n2, | |||
NumericalVar * | n3 | |||
) |
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().
Condition * CondNplusN::duplicate | ( | ) | [virtual] |
Implements Condition.
Definition at line 980 of file parser.cpp.
References CondNplusN(), NumericalVar::duplicate(), Condition::n1, n2, and n3.
bool CondNplusN::isEqual | ( | Condition * | n | ) | [virtual] |