Public Member Functions | Public Attributes
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 ActionSetallActions
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

Definition at line 364 of file Clingo.cpp.

Definition at line 363 of file Clingo.cpp.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Fri Aug 28 2015 10:14:46