Public Member Functions | |
std::string | operator() (const AspRule &rule) const |
RuleToString4_2 (unsigned int timeStepNum) | |
RuleToString4_2 (const std::string &timeStepVar) | |
RuleToString4_2 () | |
Public Attributes | |
string | timeStep |
Definition at line 91 of file Clingo4_2.cpp.
actasp::RuleToString4_2::RuleToString4_2 | ( | unsigned int | timeStepNum | ) | [inline] |
Definition at line 92 of file Clingo4_2.cpp.
actasp::RuleToString4_2::RuleToString4_2 | ( | const std::string & | timeStepVar | ) | [inline] |
Definition at line 98 of file Clingo4_2.cpp.
actasp::RuleToString4_2::RuleToString4_2 | ( | ) | [inline] |
Definition at line 100 of file Clingo4_2.cpp.
std::string actasp::RuleToString4_2::operator() | ( | const AspRule & | rule | ) | const [inline] |
Definition at line 102 of file Clingo4_2.cpp.
Definition at line 137 of file Clingo4_2.cpp.