dlvhex
2.5.0
|
Definition of eval graph as used in real dlvhex evaluation. More...
#include <include/dlvhex2/FinalEvalGraph.h>
Public Member Functions | |
std::ostream & | print (std::ostream &o) const |
Definition of eval graph as used in real dlvhex evaluation.
Definition at line 48 of file FinalEvalGraph.h.
std::ostream& FinalEvalUnitPropertyBase::print | ( | std::ostream & | o | ) | const [inline, virtual] |
Reimplemented from EvalUnitModelGeneratorFactoryProperties< Interpretation >.
Definition at line 59 of file FinalEvalGraph.h.