Public Member Functions | |
| bool | operator() (const AnswerSet &plan) const |
| PlanLongerThan (unsigned int length) | |
Public Attributes | |
| unsigned int | length |
Definition at line 385 of file Clingo.cpp.
| actasp::PlanLongerThan::PlanLongerThan | ( | unsigned int | length | ) | [inline] |
Definition at line 387 of file Clingo.cpp.
| bool actasp::PlanLongerThan::operator() | ( | const AnswerSet & | plan | ) | const [inline] |
Definition at line 389 of file Clingo.cpp.
| unsigned int actasp::PlanLongerThan::length |
Definition at line 393 of file Clingo.cpp.