actasp::RuleToString Struct Reference

List of all members.

Public Member Functions
std::string	operator() (const AspRule &rule)
	RuleToString (unsigned int timeStepNum)
	RuleToString (const string &timeStepVar)
Public Attributes
string	timeStep

---

Detailed Description

Definition at line 71 of file Clingo.cpp.

---

Constructor & Destructor Documentation

actasp::RuleToString::RuleToString

(

unsigned int

timeStepNum

)

[inline]

Definition at line 72 of file Clingo.cpp.

actasp::RuleToString::RuleToString

(

const string &

timeStepVar

)

[inline]

Definition at line 78 of file Clingo.cpp.

---

Member Function Documentation

std::string actasp::RuleToString::operator()

(

const AspRule &

rule

)

[inline]

Definition at line 80 of file Clingo.cpp.

---

Member Data Documentation

string actasp::RuleToString::timeStep

Definition at line 107 of file Clingo.cpp.

---

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

• Clingo.cpp