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

List of all members.

Public Member Functions

std::string operator() (const AspRule &rule) const
 RuleToGoalString4_2 (const std::string &timeStepVar)

Public Attributes

string timeStep

Detailed Description

Definition at line 186 of file Clingo4_2.cpp.


Constructor & Destructor Documentation

actasp::RuleToGoalString4_2::RuleToGoalString4_2 ( const std::string &  timeStepVar) [inline]

Definition at line 188 of file Clingo4_2.cpp.


Member Function Documentation

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

Definition at line 190 of file Clingo4_2.cpp.


Member Data Documentation

Definition at line 221 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