actasp::RuleToString3 Struct Reference

List of all members.

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

---

Detailed Description

Definition at line 64 of file Clingo3.cpp.

---

Constructor & Destructor Documentation

actasp::RuleToString3::RuleToString3

(

unsigned int

timeStepNum

)

[inline]

Definition at line 65 of file Clingo3.cpp.

actasp::RuleToString3::RuleToString3

(

const std::string &

timeStepVar

)

[inline]

Definition at line 71 of file Clingo3.cpp.

actasp::RuleToString3::RuleToString3

(

)

[inline]

Definition at line 73 of file Clingo3.cpp.

---

Member Function Documentation

std::string actasp::RuleToString3::operator()

(

const AspRule &

rule

)

[inline]

Definition at line 75 of file Clingo3.cpp.

---

Member Data Documentation

string actasp::RuleToString3::timeStep

Definition at line 110 of file Clingo3.cpp.

---

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

• Clingo3.cpp