Public Member Functions | Public Attributes
actasp::RuleToString4_2 Struct Reference

List of all members.

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

Detailed Description

Definition at line 91 of file Clingo4_2.cpp.


Constructor & Destructor Documentation

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.

Definition at line 100 of file Clingo4_2.cpp.


Member Function Documentation

std::string actasp::RuleToString4_2::operator() ( const AspRule rule) const [inline]

Definition at line 102 of file Clingo4_2.cpp.


Member Data Documentation

Definition at line 137 of file Clingo4_2.cpp.


The documentation for this struct was generated from the following file:


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37