Public Member Functions | |
IsSubSequence (const list< AspFluent > &myPlan) | |
bool | operator() (const list< AspFluent > &shorterPlan) const |
Public Attributes | |
const list< AspFluent > & | longerPlan |
Definition at line 326 of file Clingo.cpp.
actasp::IsSubSequence::IsSubSequence | ( | const list< AspFluent > & | myPlan | ) | [inline] |
Definition at line 328 of file Clingo.cpp.
bool actasp::IsSubSequence::operator() | ( | const list< AspFluent > & | shorterPlan | ) | const [inline] |
Definition at line 330 of file Clingo.cpp.
const list< AspFluent>& actasp::IsSubSequence::longerPlan |
Definition at line 343 of file Clingo.cpp.