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