actasp::RuleToCumulativeString4_2 Struct Reference

List of all members.

Public Member Functions
std::string	operator() (const AspRule &rule) const
	RuleToCumulativeString4_2 (const std::string &timeStepVar)
Public Attributes
string	timeStep

---

Detailed Description

Definition at line 140 of file Clingo4_2.cpp.

---

Constructor & Destructor Documentation

actasp::RuleToCumulativeString4_2::RuleToCumulativeString4_2

(

const std::string &

timeStepVar

)

[inline]

Definition at line 142 of file Clingo4_2.cpp.

---

Member Function Documentation

std::string actasp::RuleToCumulativeString4_2::operator()

(

const AspRule &

rule

)

const [inline]

Definition at line 144 of file Clingo4_2.cpp.

---

Member Data Documentation

string actasp::RuleToCumulativeString4_2::timeStep

Definition at line 183 of file Clingo4_2.cpp.

---

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

• Clingo4_2.cpp