Finite state machine. More...

Inheritance diagram for reflex::Pattern::State:

Collaboration diagram for reflex::Pattern::State:

Public Types
typedef std::map< Char, std::pair< Char, State * > >	Edges

Public Attributes
Edges	edges

Index	index
	index of this state More...

Index	accept
	nonzero if final state, the index of an accepted/captured subpattern More...

bool	redo
	true if this is an ignorable final state More...

Set	heads
	lookahead head set More...

Set	tails
	lookahead tail set More...

State *	next
	points to sibling state allocated depth-first by subset construction More...

State *	left
	left pointer for O(log N) node insertion in the state graph More...

State *	right
	right pointer for O(log N) node insertion in the state graph More...

Detailed Description

Finite state machine.

Member Typedef Documentation

reflex::Pattern::State::State ( const Positions & p )

inline

Index reflex::Pattern::State::accept

nonzero if final state, the index of an accepted/captured subpattern

Edges reflex::Pattern::State::edges

Set reflex::Pattern::State::heads

lookahead head set

Index reflex::Pattern::State::index

index of this state

State* reflex::Pattern::State::left

left pointer for O(log N) node insertion in the state graph

State* reflex::Pattern::State::next

points to sibling state allocated depth-first by subset construction

bool reflex::Pattern::State::redo

true if this is an ignorable final state

State* reflex::Pattern::State::right

right pointer for O(log N) node insertion in the state graph

Set reflex::Pattern::State::tails

lookahead tail set

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