Module Expr Str ImportFrom alias ClassDef bases NameLoad body FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore NameLoad attr Call NameLoad Call AttributeLoad NameLoad attr orelse Assign AttributeStore NameLoad attr Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr ListComp TupleLoad NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore AttributeLoad AttributeLoad NameLoad attr attr CompareIn NameLoad AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad Call NameLoad ListComp NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Dict Str Str Str CompareIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str If NameLoad body Assign NameStore ListComp TupleLoad NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore AttributeLoad NameLoad attr CompareIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr orelse Assign NameStore AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad ListComp BoolOpAnd CompareEq NameLoad NameLoad BoolOpOr UnaryOpNot NameLoad CompareEq NameLoad NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore AttributeLoad NameLoad attr CompareEq NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad Return ListComp TupleLoad NameLoad NameLoad NameLoad NameLoad Call AttributeLoad NameLoad attr NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore NameLoad CompareEq NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore ListComp TupleLoad NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad comprehension TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore AttributeLoad NameLoad attr BoolOpAnd CompareEq NameLoad AttributeLoad NameLoad attr CompareEq NameLoad NameLoad CompareEq NameLoad SubscriptLoad NameLoad Slice Num Call NameLoad NameLoad Assign TupleStore NameStore TupleStore NameStore NameStore NameStore AttributeStore NameLoad attr SubscriptLoad NameLoad Index Num Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad decorator_list decorator_list
N/A N/A 
Interface to an FSM module (graph) used by ProductModelProgram
 model Model FSM N/A Model N/A __init__ N/A N/A self module exclude include N/A N/A N/A N/A N/A Model __init__ self module exclude include N/A post_init N/A N/A self N/A N/A N/A 
    Now that all modules have been imported and executed their __init__
     do a postprocessing pass
     to process metadata that might be affected by configuration modules
     N/A N/A N/A hasattr N/A self module actions N/A N/A N/A self actions N/A list N/A N/A self actions_in_graph N/A N/A N/A self actions N/A list N/A N/A self module actions N/A N/A N/A Model post_init self N/A N/A self graph N/A N/A current N/A action args result next N/A N/A current N/A action args result next N/A N/A self module graph N/A action N/A self actions N/A N/A self current N/A N/A self module initial N/A actions_in_graph N/A N/A self N/A N/A N/A N/A tuple N/A set N/A action N/A N/A current N/A action args result next N/A N/A self module graph N/A make_properties N/A N/A self state N/A N/A N/A N/A accepting statefilter stateinvariant N/A state N/A N/A self module accepting True True N/A Properties N/A N/A self N/A N/A N/A N/A N/A self make_properties N/A self current N/A Reset N/A N/A self N/A N/A N/A N/A self current N/A N/A self module initial N/A CleanupGraph N/A N/A self cleanup N/A False N/A N/A 
    if cleanup, return the graph with just the cleanup transitions
     N/A cleanup N/A N/A graph N/A N/A current N/A action args result next N/A N/A current N/A action args result next N/A self graph N/A action N/A N/A self module cleanup N/A N/A graph N/A self graph N/A graph N/A ActionEnabled N/A N/A self a args N/A N/A N/A 
    action a with args is enabled in the current state
     N/A N/A any N/A N/A N/A a action N/A N/A arguments N/A args arguments N/A N/A current N/A action arguments result next N/A self graph N/A current N/A self current N/A EnabledTransitions N/A N/A self cleanup N/A False N/A N/A 
    Return list tuples for all enabled actions: 
    (action, args, next state, properties)
     N/A graph N/A N/A self CleanupGraph cleanup N/A N/A N/A action args result next N/A N/A self make_properties next N/A N/A current N/A action args result next graph N/A current N/A self current N/A DoAction N/A N/A self a arguments N/A N/A N/A ts N/A N/A current N/A action args result next N/A N/A current N/A action args result next N/A self graph N/A N/A current N/A self current N/A action a N/A args N/A arguments N/A 0 N/A len args N/A N/A current N/A action args result N/A self current N/A ts N/A 0 N/A result N/A Current N/A N/A self N/A N/A N/A N/A self current N/A Restore N/A N/A self state N/A N/A N/A N/A self current state N/A N/A