Public Member Functions | |
fluent2Rule () | |
fluent2Rule (unsigned int timeStep) | |
AspRule | operator() (const AspFluent &fluent) |
Public Attributes | |
unsigned int | timeStep |
bool | useTimeStep |
Definition at line 42 of file Reasoner.cpp.
actasp::fluent2Rule::fluent2Rule | ( | ) | [inline] |
Definition at line 44 of file Reasoner.cpp.
actasp::fluent2Rule::fluent2Rule | ( | unsigned int | timeStep | ) | [inline] |
Definition at line 45 of file Reasoner.cpp.
Definition at line 47 of file Reasoner.cpp.
unsigned int actasp::fluent2Rule::timeStep |
Definition at line 55 of file Reasoner.cpp.
Definition at line 56 of file Reasoner.cpp.