P4::ParserStateInfo Struct Reference

Information produced for a parser state by the symbolic evaluator. More...

#include <parserUnroll.h>

Public Member Functions
	ParserStateInfo (cstring name, const IR::P4Parser *parser, const IR::ParserState *state, const ParserStateInfo *predecessor, ValueMap *before, size_t index)

Public Attributes
ValueMap *	after
ValueMap *	before
size_t	currentIndex
cstring	name
IR::ParserState *	newState
const IR::P4Parser *	parser
const ParserStateInfo *	predecessor
std::unordered_set< cstring >	scenarioHS
std::unordered_set< cstring >	scenarioStates
const IR::ParserState *	state
StackVariableMap	statesIndexes
StackVariableIndexMap	substitutedIndexes

Friends
class	ParserStateRewriter

Detailed Description

Information produced for a parser state by the symbolic evaluator.