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

string actasp::RuleToGoalString4_2::timeStep

Definition at line 221 of file Clingo4_2.cpp.

---

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

• Clingo4_2.cpp