actasp::IsNotLocallyOptimalSubPlanCheck Struct Reference

List of all members.

Public Member Functions
	IsNotLocallyOptimalSubPlanCheck (const set< list< AspFluent >, LexComparator > &allPlans, const ActionSet &allActions)
bool	operator() (const AnswerSet &plan) const
Public Attributes
const ActionSet &	allActions
const set< list< AspFluent > , LexComparator > &	allPlans

---

Detailed Description

Definition at line 347 of file Clingo.cpp.

---

Constructor & Destructor Documentation

actasp::IsNotLocallyOptimalSubPlanCheck::IsNotLocallyOptimalSubPlanCheck	(	const set< list< AspFluent >, LexComparator > &	allPlans,
		const ActionSet &	allActions
	)		[inline]

Definition at line 349 of file Clingo.cpp.

---

Member Function Documentation

bool actasp::IsNotLocallyOptimalSubPlanCheck::operator()

(

const AnswerSet &

plan

)

const [inline]

Definition at line 352 of file Clingo.cpp.

---

Member Data Documentation

const ActionSet& actasp::IsNotLocallyOptimalSubPlanCheck::allActions

Definition at line 364 of file Clingo.cpp.

const set< list< AspFluent>, LexComparator >& actasp::IsNotLocallyOptimalSubPlanCheck::allPlans

Definition at line 363 of file Clingo.cpp.

---

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

• Clingo.cpp