#include <parser.h>
Public Member Functions | |
CondN (NumericalVar *n1, NumericalVar *n2) | |
void | print (std::ostream &o) |
Condition * | duplicate () |
bool | isEqual (Condition *n) |
Public Attributes | |
NumericalVar * | n2 |
Definition at line 164 of file parser.h.
CondN::CondN | ( | NumericalVar * | n1, | |
NumericalVar * | n2 | |||
) |
void CondN::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented from Condition.
Definition at line 285 of file parser.cpp.
References Condition::n1, n2, and NumericalVar::print().
Condition * CondN::duplicate | ( | ) | [virtual] |
Implements Condition.
Definition at line 985 of file parser.cpp.
References CondN(), NumericalVar::duplicate(), Condition::n1, and n2.
bool CondN::isEqual | ( | Condition * | n | ) | [virtual] |