include/dlvhex2/FinalEvalGraph.h File Reference
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/Interpretation.h"#include "dlvhex2/ModelGenerator.h"#include "dlvhex2/EvalGraph.h"#include <boost/shared_ptr.hpp>
Include dependency graph for FinalEvalGraph.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | FinalEvalUnitPropertyBase |
| Definition of eval graph as used in real dlvhex evaluation. More... | |
Typedefs | |
| typedef EvalGraph < FinalEvalUnitPropertyBase > | FinalEvalGraph |
| typedef boost::shared_ptr < FinalEvalGraph > | FinalEvalGraphPtr |
Typedef Documentation
Definition at line 63 of file FinalEvalGraph.h.
| typedef boost::shared_ptr<FinalEvalGraph> FinalEvalGraphPtr |
Definition at line 64 of file FinalEvalGraph.h.
