dlvhex  2.5.0
InterpretationBase Class Reference

Base class for interpretations. More...

#include <include/dlvhex2/ModelGenerator.h>

Inheritance diagram for InterpretationBase:
Collaboration diagram for InterpretationBase:

Public Member Functions

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

Detailed Description

Base class for interpretations.

Definition at line 57 of file ModelGenerator.h.


Member Function Documentation

std::ostream& InterpretationBase::print ( std::ostream &  o) const [inline]

Reimplemented in Interpretation.

Definition at line 63 of file ModelGenerator.h.


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