include/dlvhex2/State.h File Reference

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include <boost/shared_ptr.hpp>

Include dependency graph for State.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	State
	State base class. More...
class	ShowPluginsState
	See State::showPlugins. More...
class	ConvertState
	See State::showPlugins. More...
class	ParseState
	See State::showPlugins. More...
class	ModuleSyntaxCheckState
	See State::showPlugins. More...
class	MLPSolverState
	See State::showPlugins. More...
class	RewriteEDBIDBState
	See State::showPlugins. More...
class	SafetyCheckState
	See State::showPlugins. More...
class	CreateDependencyGraphState
	See State::showPlugins. More...
class	CheckLiberalSafetyState
	See State::showPlugins. More...
class	OptimizeEDBDependencyGraphState
	See State::showPlugins. More...
class	CreateComponentGraphState
	See State::showPlugins. More...
class	StrongSafetyCheckState
	See State::showPlugins. More...
class	CreateEvalGraphState
	See State::showPlugins. More...
class	SetupProgramCtxState
	See State::showPlugins. More...
class	EvaluateState
	See State::showPlugins. More...
class	PostProcessState
	See State::showPlugins. More...
Typedefs
typedef boost::shared_ptr< State >	StatePtr

---

Detailed Description

Author:

Thomas Krennwallner

Date:

Definition in file State.h.

---

Typedef Documentation

typedef boost::shared_ptr<State> StatePtr

Definition at line 47 of file State.h.