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.