Public Member Functions | |
| bool | operator() (const AnswerSet &first, const AnswerSet &second) const |
Definition at line 28 of file FilteringReasoner.cpp.
| bool actasp::AnswerSetStateComparator::operator() | ( | const AnswerSet & | first, |
| const AnswerSet & | second | ||
| ) | const [inline] |
Definition at line 29 of file FilteringReasoner.cpp.