| 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.