Public Member Functions | |
MaxTimeStepLessThan3 (unsigned int initialTimeStep) | |
bool | operator() (const AnswerSet &answer) |
Public Attributes | |
unsigned int | initialTimeStep |
Definition at line 205 of file Clingo3.cpp.
actasp::MaxTimeStepLessThan3::MaxTimeStepLessThan3 | ( | unsigned int | initialTimeStep | ) | [inline] |
Definition at line 207 of file Clingo3.cpp.
bool actasp::MaxTimeStepLessThan3::operator() | ( | const AnswerSet & | answer | ) | [inline] |
Definition at line 209 of file Clingo3.cpp.
unsigned int actasp::MaxTimeStepLessThan3::initialTimeStep |
Definition at line 213 of file Clingo3.cpp.