P4::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.
DCGVertexType	getPrevNode ()
	Gets previous node.
std::list< DCGVertexType >	getState ()
	Gets current state.
bool	isEmpty ()
	Retuns true if state is empty.
void	setPrevNode (DCGVertexType)
	Sets previous node.
void	setState (const std::list< DCGVertexType > &)
	Sets current state.

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

Detailed Description

The main data for reachability engine.