Public Member Functions | Public Attributes
actasp::IsSubSequence Struct Reference

List of all members.

Public Member Functions

 IsSubSequence (const list< AspFluent > &myPlan)
bool operator() (const list< AspFluent > &shorterPlan) const

Public Attributes

const list< AspFluent > & longerPlan

Detailed Description

Definition at line 326 of file Clingo.cpp.


Constructor & Destructor Documentation

actasp::IsSubSequence::IsSubSequence ( const list< AspFluent > &  myPlan) [inline]

Definition at line 328 of file Clingo.cpp.


Member Function Documentation

bool actasp::IsSubSequence::operator() ( const list< AspFluent > &  shorterPlan) const [inline]

Definition at line 330 of file Clingo.cpp.


Member Data Documentation

Definition at line 343 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