dlvhex
2.5.0
|
Base class for interpretations. More...
#include <include/dlvhex2/ModelGenerator.h>
Public Member Functions | |
std::ostream & | print (std::ostream &o) const |
Base class for interpretations.
Definition at line 57 of file ModelGenerator.h.
std::ostream& InterpretationBase::print | ( | std::ostream & | o | ) | const [inline] |
Reimplemented in Interpretation.
Definition at line 63 of file ModelGenerator.h.