hobbes::MDFA Struct Reference

#include <dfa.H>

Collaboration diagram for hobbes::MDFA:

Public Attributes
LexicalAnnotation	rootLA
MStates	states
StatesIdx	statesIdx
TableCfgStates	tableCfgStates
ExprIdxs	exprIdxs
bool	inPrimSel
str::set	rootVars
cc *	c
VarNames	varExps
VarArrayElem	elementExps
VarArrayLen	sizeExps
VarStructField	fieldExps
FoldedStates	foldedStates
FoldedStateCalls	foldedStateCalls

Member Data Documentation

c

cc* hobbes::MDFA::c

elementExps

VarArrayElem hobbes::MDFA::elementExps

exprIdxs

ExprIdxs hobbes::MDFA::exprIdxs

fieldExps

VarStructField hobbes::MDFA::fieldExps

foldedStateCalls

FoldedStateCalls hobbes::MDFA::foldedStateCalls

foldedStates

FoldedStates hobbes::MDFA::foldedStates

inPrimSel

bool hobbes::MDFA::inPrimSel

rootLA

LexicalAnnotation hobbes::MDFA::rootLA

rootVars

str::set hobbes::MDFA::rootVars

sizeExps

VarArrayLen hobbes::MDFA::sizeExps

states

MStates hobbes::MDFA::states

statesIdx

StatesIdx hobbes::MDFA::statesIdx

tableCfgStates

TableCfgStates hobbes::MDFA::tableCfgStates

varExps

VarNames hobbes::MDFA::varExps

---

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

• include/hobbes/lang/pat/dfa.H