clingo
|
#include <control.hh>
Public Member Functions | |
virtual Model const * | next ()=0 |
virtual void | close ()=0 |
virtual SolveResult | get ()=0 |
virtual | ~SolveIter () |
|
inlinevirtual |
|
pure virtual |
|
pure virtual |
|
pure virtual |