Public Member Functions
actasp::AnswerSetStateComparator Struct Reference

List of all members.

Public Member Functions

bool operator() (const AnswerSet &first, const AnswerSet &second) const

Detailed Description

Definition at line 28 of file FilteringReasoner.cpp.


Member Function Documentation

bool actasp::AnswerSetStateComparator::operator() ( const AnswerSet first,
const AnswerSet second 
) const [inline]

Definition at line 29 of file FilteringReasoner.cpp.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37