P4Tools::ReachabilityEngineState Class Reference

The main data for reachability engine. More...

#include <reachability.h>

Public Member Functions
void	clear ()
	Clears state.
ReachabilityEngineState *	copy ()
	Copies a state.
const DCGVertexType *	getPrevNode ()
	Gets previous node.
std::list< const DCGVertexType * >	getState ()
	Gets current state.
bool	isEmpty ()
	Retuns true if state is empty.
void	setPrevNode (const DCGVertexType *)
	Sets previous node.
void	setState (std::list< const DCGVertexType * >)
	Sets current state.

Static Public Member Functions
static ReachabilityEngineState *	getInitial ()
	Gets initial state.

Detailed Description

The main data for reachability engine.