Public Member Functions | |
void | operator() (const AnswerSet &set) |
PolicyMerger (MultiPolicy &policy) | |
Public Attributes | |
MultiPolicy & | policy |
Definition at line 256 of file Clingo.cpp.
actasp::PolicyMerger::PolicyMerger | ( | MultiPolicy & | policy | ) | [inline] |
Definition at line 258 of file Clingo.cpp.
void actasp::PolicyMerger::operator() | ( | const AnswerSet & | set | ) | [inline] |
Definition at line 261 of file Clingo.cpp.
Definition at line 265 of file Clingo.cpp.