Public Member Functions | |
MaxTimeStepLessThan4_2 (unsigned int initialTimeStep) | |
bool | operator() (const AnswerSet &answer) |
Public Attributes | |
unsigned int | initialTimeStep |
Definition at line 397 of file Clingo4_2.cpp.
actasp::MaxTimeStepLessThan4_2::MaxTimeStepLessThan4_2 | ( | unsigned int | initialTimeStep | ) | [inline] |
Definition at line 399 of file Clingo4_2.cpp.
bool actasp::MaxTimeStepLessThan4_2::operator() | ( | const AnswerSet & | answer | ) | [inline] |
Definition at line 401 of file Clingo4_2.cpp.
unsigned int actasp::MaxTimeStepLessThan4_2::initialTimeStep |
Definition at line 405 of file Clingo4_2.cpp.