Module Expr Str Import alias Import alias Import alias Import alias 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 Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr Call NameLoad If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr Call NameLoad If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr Call NameLoad If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr If UnaryOpNot Call NameLoad AttributeLoad NameLoad attr Str body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad If SubscriptLoad NameLoad Index Num body Assign NameStore SubscriptLoad NameLoad Index Num orelse If SubscriptLoad NameLoad Index Num body Assign NameStore ListLoad SubscriptLoad NameLoad Index Num orelse Assign NameStore TupleLoad Assign NameStore ListComp IfExp Call NameLoad SubscriptLoad SubscriptLoad AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Index NameLoad Call SubscriptLoad SubscriptLoad AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Index NameLoad SubscriptLoad SubscriptLoad AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Index NameLoad comprehension NameStore NameLoad CompareIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr NameLoad Str If CompareEq NameLoad Str body Assign NameStore Call NameLoad NameLoad orelse If CompareEq NameLoad Str body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Return Call NameLoad ListComp IfExp CompareEq NameLoad TupleLoad NameLoad TupleLoad NameLoad comprehension NameStore NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr Call NameLoad ListComp TupleLoad NameLoad Call AttributeLoad NameLoad attr NameLoad comprehension NameStore AttributeLoad NameLoad attr UnaryOpNot CompareIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Dict Str Str Str Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body TryExcept body Expr Call AttributeLoad AttributeLoad NameLoad attr attr handlers ExceptHandler type NameLoad body Print BinOpMod Str AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str If CompareNotIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Return NameLoad orelse Assign NameStore SubscriptLoad SubscriptLoad AttributeLoad AttributeLoad NameLoad attr attr Index NameLoad Index Num Assign NameStore Call NameLoad SubscriptLoad Call AttributeLoad NameLoad attr NameLoad Index Num Assign NameStore Call NameLoad NameLoad If BoolOpAnd CompareGt NameLoad Num CompareNotEq NameLoad NameLoad body Print BinOpMod Str TupleLoad AttributeLoad NameLoad attr NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num orelse If CompareGt NameLoad Num body Return Call NameLoad NameLoad orelse Return Call NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore Call NameLoad For NameStore NameLoad body AugAssignAdd NameStore ListComp BinOpAdd TupleLoad NameLoad NameLoad Call AttributeLoad NameLoad attr NameLoad NameLoad comprehension NameStore SubscriptLoad NameLoad Index NameLoad Call AttributeLoad NameLoad attr NameLoad NameLoad Return ListComp TupleLoad NameLoad NameLoad NameLoad NameLoad NameLoad comprehension TupleStore NameStore NameStore NameStore NameStore NameStore NameLoad SubscriptLoad NameLoad Index Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad body Expr Str Assign NameStore IfExp NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore BinOpSub Call NameLoad NameLoad Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore BinOpBitAnd Call NameLoad Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr If NameLoad body Assign NameStore BinOpBitAnd Call NameLoad NameLoad Call NameLoad AttributeLoad NameLoad attr Assign NameStore Call NameLoad AugAssignAdd NameStore Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr AugAssignAdd NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Return Call NameLoad ListComp TupleLoad NameLoad Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr NameLoad comprehension NameStore AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Expr Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad Return TupleLoad NameLoad NameLoad NameLoad decorator_list decorator_list
N/A N/A 
Interface to a model program (python module) used by ProductModelProgram 
 N/A sys N/A copy N/A inspect N/A itertools model Model ModelProgram 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 hasattr N/A self module accepting N/A N/A N/A N/A self module Accepting N/A N/A self module accepting N/A N/A hasattr N/A self module statefilter N/A N/A N/A N/A self module StateFilter N/A N/A self module statefilter N/A N/A hasattr N/A self module state_filter N/A N/A N/A N/A self module StateFilter N/A N/A self module state_filter N/A N/A hasattr N/A self module stateinvariant N/A N/A N/A N/A self module StateInvariant N/A N/A self module stateinvariant N/A N/A hasattr N/A self module state_invariant N/A N/A N/A N/A self module StateInvariant N/A N/A self module state_invariant N/A N/A hasattr N/A self module reset N/A N/A N/A N/A self module Reset N/A N/A self module reset N/A N/A N/A hasattr N/A self module enablers N/A N/A N/A N/A self module enablers N/A dict N/A N/A N/A hasattr N/A self module domains N/A N/A N/A N/A self module domains N/A dict N/A N/A N/A hasattr N/A self module combinations N/A N/A N/A N/A self module combinations N/A dict N/A N/A N/A hasattr N/A self module Accepting N/A N/A N/A N/A self module Accepting N/A self TrueDefault N/A N/A N/A hasattr N/A self module StateFilter N/A N/A N/A N/A self module StateFilter N/A self TrueDefault N/A N/A N/A hasattr N/A self module StateInvariant N/A N/A N/A N/A self module StateInvariant N/A self TrueDefault 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 make_argslist N/A N/A self a N/A N/A N/A 
    Parameter generator: return list of all args combos for action symbol a
     N/A arginfo N/A N/A inspect getargspec a N/A N/A arginfo N/A 0 N/A N/A args N/A arginfo N/A 0 N/A N/A N/A arginfo N/A 1 N/A N/A args N/A N/A arginfo N/A 1 N/A N/A args N/A N/A domains N/A N/A N/A callable N/A N/A N/A N/A self module domains N/A a N/A arg N/A N/A N/A N/A N/A self module domains N/A a N/A arg N/A N/A N/A N/A self module domains N/A a N/A arg N/A arg args N/A a N/A N/A self module domains N/A combination N/A N/A N/A N/A self module combinations get a all N/A N/A combination cases N/A N/A argslists N/A zip domains N/A N/A N/A combination all N/A N/A argslists N/A N/A itertools product domains N/A N/A tuple N/A N/A N/A x N/A None N/A x N/A x argslists N/A ParamGen N/A N/A self N/A N/A N/A N/A self argslists N/A dict N/A N/A a N/A N/A self make_argslist a N/A a N/A self actions N/A N/A a N/A N/A self module observables N/A TrueDefault N/A N/A self N/A N/A N/A True N/A Properties N/A N/A self N/A N/A N/A N/A accepting statefilter stateinvariant N/A N/A N/A self module Accepting N/A N/A N/A self module StateFilter N/A N/A N/A self module StateInvariant N/A Reset N/A N/A self N/A N/A N/A N/A N/A N/A N/A N/A self module Reset N/A N/A N/A AttributeError N/A N/A N/A No Reset function for model program %s N/A N/A self module __name__ N/A N/A N/A sys exit 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 a N/A N/A self module enablers N/A N/A True N/A N/A a_enabled N/A N/A N/A N/A self module enablers N/A a N/A 0 N/A nparams N/A len N/A N/A N/A inspect getargspec a_enabled N/A 0 N/A nargs N/A len args N/A N/A N/A nparams 0 N/A nparams nargs N/A N/A N/A Error: %s needs %s arguments, got %s.  Check parameter generator. N/A N/A a_enabled __name__ nparams nargs N/A N/A N/A sys exit 1 N/A N/A N/A nparams 0 N/A N/A N/A a_enabled args N/A N/A N/A a_enabled N/A Transitions N/A N/A self actions argslists N/A N/A N/A 
    Return tuple for all enabled transitions:
     (action, args, result, next state, properties)
    Pass appropriate params for observable or controllable actions + argslists
     N/A enabled N/A list N/A a actions N/A N/A enabled N/A N/A N/A a args N/A N/A self GetNext a args N/A args N/A argslists N/A a N/A N/A self ActionEnabled a args N/A N/A N/A a args result next properties N/A N/A a args result next properties enabled N/A properties N/A statefilter N/A EnabledTransitions N/A N/A self argslists cleanup N/A False N/A N/A 
    Return tuple for all enabled observable and controllable transitions:
     (action, args, result, next state, properties)
     N/A actions N/A cleanup N/A self cleanup N/A self actions N/A controllableActions N/A N/A set actions N/A set N/A N/A self module observables N/A observableActions N/A N/A set N/A N/A argslists keys N/A set N/A N/A self module observables N/A cleanup N/A N/A observableActions N/A N/A set observableActions N/A set N/A self cleanup N/A enabled N/A list N/A enabled N/A N/A self Transitions controllableActions N/A self argslists N/A enabled N/A N/A self Transitions observableActions argslists N/A enabled N/A DoAction N/A N/A self a args N/A N/A N/A 
    Execute action in model, update state,
     N/A N/A a args N/A Current N/A N/A self N/A N/A N/A 
    Return current state, a dictionary of variable names to values
    This is used to save/restore states, so make deep copies of values
     N/A N/A dict N/A N/A vname N/A N/A copy deepcopy N/A getattr N/A self module vname N/A vname N/A N/A self module state N/A Restore N/A N/A self state N/A N/A N/A 
    Restore state
     N/A N/A N/A N/A N/A self module __dict__ update state N/A GetNext N/A N/A self a args N/A N/A N/A 
    Return result and next state, given action and args. 
    Nondestructive, restores state.
    also return dict. of properties of next state as third element in tuple
     N/A saved N/A N/A self Current N/A result N/A N/A self DoAction a args N/A next N/A N/A self Current N/A properties N/A N/A self Properties N/A N/A N/A self Restore saved N/A N/A result next properties N/A N/A