dlvhex  2.5.0
FinalEvalUnitPropertyBase Struct Reference

Definition of eval graph as used in real dlvhex evaluation. More...

#include <include/dlvhex2/FinalEvalGraph.h>

Inheritance diagram for FinalEvalUnitPropertyBase:
Collaboration diagram for FinalEvalUnitPropertyBase:

Public Member Functions

std::ostream & print (std::ostream &o) const

Detailed Description

Definition of eval graph as used in real dlvhex evaluation.

Definition at line 48 of file FinalEvalGraph.h.


Member Function Documentation

std::ostream& FinalEvalUnitPropertyBase::print ( std::ostream &  o) const [inline, virtual]

Reimplemented from EvalUnitModelGeneratorFactoryProperties< Interpretation >.

Definition at line 59 of file FinalEvalGraph.h.


The documentation for this struct was generated from the following file: