#include <parser.h>
Public Member Functions | |
virtual void | print (std::ostream &o) |
virtual | ~Condition () |
virtual Condition * | duplicate ()=0 |
virtual bool | isEqual (Condition *n)=0 |
Public Attributes | |
NumericalVar * | n1 |
Definition at line 117 of file parser.h.
Condition::~Condition | ( | ) | [virtual] |
Definition at line 355 of file parser.cpp.
void Condition::print | ( | std::ostream & | o | ) | [virtual] |
Reimplemented in CondA, CondANplusB, CondNplusN, and CondN.
Definition at line 185 of file parser.cpp.
virtual Condition* Condition::duplicate | ( | ) | [pure virtual] |
Implemented in CondA, CondANplusB, CondNplusN, and CondN.
virtual bool Condition::isEqual | ( | Condition * | n | ) | [pure virtual] |
Implemented in CondA, CondANplusB, CondNplusN, and CondN.
Definition at line 120 of file parser.h.
Referenced by Automata::Automata(), CondN::duplicate(), CondNplusN::duplicate(), CondA::duplicate(), CondANplusB::duplicate(), CondN::print(), CondNplusN::print(), CondANplusB::print(), CondA::print(), and Unification::verifValidPresburger().