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