Transaction-Level Modeling Framework for Space Applications
Classes | |
class | statemachine.Enumerate |
Namespaces | |
statemachine | |
Variables | |
string | statemachine.iskeyword = '[A-Za-z0-9_]' |
statemachine.StateList = \ | |
string | statemachine.StateAddRegExpString = r'^AddState\s+(?P<statename>' |
tuple | statemachine.StateAddRE = re.compile(StateAddRegExpString) |