Module Expr Str Import alias Import alias ImportFrom alias Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Num Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad FunctionDef arguments args NameParam NameParam defaults body Global identifier identifier identifier identifier identifier identifier Assign NameStore AttributeLoad NameLoad attr Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore NameLoad While NameLoad body Assign NameStore Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad If Call AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr NameLoad If UnaryOpNot Call AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr NameLoad While NameLoad body If CompareEq Call NameLoad NameLoad NameLoad body Break Assign NameStore SubscriptLoad NameLoad Index Num Assign NameStore SubscriptLoad NameLoad Slice Num Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr Call NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr Call NameLoad If UnaryOpNot NameLoad body If CompareIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse Expr Call AttributeLoad NameLoad attr NameLoad For TupleStore NameStore NameStore NameStore NameStore NameStore NameLoad body If CompareLt Call NameLoad NameLoad NameLoad body If BoolOpAnd CompareNotIn NameLoad NameLoad CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore TupleLoad NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad If CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad If CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad If CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr TupleLoad NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad If BoolOpAnd Call AttributeLoad NameLoad attr CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad If BoolOpAnd UnaryOpNot Call AttributeLoad NameLoad attr CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad If BoolOpAnd SubscriptLoad NameLoad Index Str CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad If BoolOpAnd UnaryOpNot SubscriptLoad NameLoad Index Str CompareNotIn NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse Expr Call AttributeLoad NameLoad attr Num NameLoad Break Assign NameStore NameLoad If AttributeLoad NameLoad attr body TryExcept body Expr Call AttributeLoad NameLoad attr Assign NameStore NameLoad handlers ExceptHandler type NameLoad body Pass decorator_list FunctionDef arguments args NameParam defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return BinOpMod Str TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str ListComp Call AttributeLoad NameLoad attr NameLoad comprehension NameStore NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args defaults body Return BinOpMod Str NameLoad decorator_list FunctionDef arguments args NameParam defaults body If Call NameLoad NameLoad NameLoad body Return Call NameLoad NameLoad orelse Return IfExp Call NameLoad NameLoad NameLoad BinOpMod Str NameLoad BinOpMod Str NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign TupleStore NameStore TupleStore NameStore NameStore NameStore NameStore NameLoad Return BinOpMod Str TupleLoad NameLoad NameLoad NameLoad Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad BinOpMod Str NameLoad Str Expr Call AttributeLoad NameLoad attr BinOpMod Str Call AttributeLoad AttributeLoad NameLoad attr attr SubscriptLoad AttributeLoad NameLoad attr Index Num Expr Call AttributeLoad NameLoad attr BinOpMod Str Call AttributeLoad Str attr ListComp BinOpMod Str NameLoad comprehension NameStore SubscriptLoad AttributeLoad NameLoad attr Slice Num Expr Call AttributeLoad NameLoad attr BinOpMod Str TupleLoad Call NameLoad NameLoad Call NameLoad NameLoad Call NameLoad NameLoad Call NameLoad NameLoad Call NameLoad NameLoad Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr ListComp BinOpAdd Call NameLoad NameLoad Str comprehension NameStore NameLoad Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str For TupleStore NameStore NameStore Call NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str Call NameLoad Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr ListComp BinOpMod Str Call NameLoad NameLoad comprehension NameStore NameLoad Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr decorator_list
N/A N/A 
Analyzer functions
 N/A sys N/A os.path copy deepcopy N/A anames N/A list N/A states N/A list N/A initial 0 N/A accepting N/A list N/A frontier N/A list N/A finished N/A list N/A deadend N/A list N/A runstarts N/A list N/A unsafe N/A list N/A graph N/A list explore N/A N/A mp maxTransitions N/A N/A N/A anames states graph accepting frontier unsafe N/A anames N/A mp anames N/A explored N/A list N/A fsm N/A list N/A more_runs True N/A more_runs N/A N/A initialState N/A N/A mp Current N/A N/A N/A frontier append initialState N/A N/A N/A states append initialState N/A iInitial N/A N/A states index initialState N/A N/A N/A runstarts append iInitial N/A N/A N/A mp Accepting N/A N/A N/A N/A accepting append iInitial N/A N/A N/A N/A mp StateInvariant N/A N/A N/A N/A unsafe append iInitial N/A frontier N/A N/A N/A N/A len graph maxTransitions N/A N/A N/A current N/A frontier N/A 0 N/A frontier N/A frontier N/A 1 N/A icurrent N/A N/A states index current N/A N/A N/A explored append current N/A N/A N/A mp Restore N/A deepcopy current N/A transitions N/A N/A mp EnabledTransitions N/A list N/A N/A transitions N/A N/A N/A icurrent accepting N/A N/A N/A N/A finished append icurrent N/A N/A N/A N/A deadend append icurrent N/A N/A aname args result next next_properties transitions N/A N/A N/A N/A len graph maxTransitions N/A N/A N/A N/A next explored N/A next frontier N/A N/A N/A N/A frontier append next N/A transition N/A current N/A aname args result next N/A N/A transition fsm N/A N/A N/A N/A fsm append transition N/A N/A current states N/A N/A N/A N/A states append current N/A N/A next states N/A N/A N/A N/A states append next N/A inext N/A N/A states index next N/A N/A N/A graph append N/A icurrent N/A aname args result inext N/A N/A N/A N/A mp Accepting N/A icurrent accepting N/A N/A N/A N/A accepting append icurrent N/A N/A N/A N/A N/A mp StateInvariant N/A icurrent unsafe N/A N/A N/A N/A unsafe append icurrent N/A N/A N/A next_properties N/A accepting N/A inext accepting N/A N/A N/A N/A accepting append inext N/A N/A N/A N/A next_properties N/A stateinvariant N/A inext unsafe N/A N/A N/A N/A unsafe append inext N/A N/A N/A N/A frontier insert 0 current N/A N/A more_runs False N/A N/A mp TestSuite N/A N/A N/A N/A N/A N/A mp Reset N/A more_runs True N/A N/A N/A StopIteration N/A N/A N/A actiondef N/A N/A aname N/A N/A N/A N/A def %s(): pass aname N/A state N/A N/A i state N/A N/A N/A N/A %s : %s, N/A i state N/A initial_state N/A N/A N/A N/A N/A N/A initial = %s initial N/A runstarts_states N/A N/A N/A N/A N/A N/A runstarts = %s runstarts N/A accepting_states N/A N/A N/A N/A N/A N/A accepting = %s accepting N/A frontier_states N/A N/A N/A N/A N/A N/A frontier = %s N/A N/A N/A states index s N/A s frontier N/A finished_states N/A N/A N/A N/A N/A N/A finished = %s finished N/A deadend_states N/A N/A N/A N/A N/A N/A deadend = %s deadend N/A unsafe_states N/A N/A N/A N/A N/A N/A unsafe = %s unsafe N/A quote_string N/A N/A x N/A N/A N/A N/A isinstance x tuple N/A N/A N/A str x N/A N/A N/A N/A isinstance x str N/A '%s' x N/A %s x N/A transition N/A N/A t N/A N/A N/A N/A current N/A action args result next t N/A N/A (%s, (%s, %s, %s), %s) N/A current action args N/A quote_string result next N/A save N/A N/A name N/A N/A N/A f N/A open N/A %s.py name w N/A N/A N/A f write N/A 
# %s N/A N/A N/A os path basename N/A N/A sys argv N/A 0 N/A N/A N/A f write N/A  %s
 N/A N/A join N/A N/A %s arg N/A arg N/A N/A sys argv N/A 1 N/A N/A N/A f write N/A # %s states, %s transitions, %s accepting states, %s unsafe states, %s finished and %s deadend states
 N/A N/A len states N/A len graph N/A len accepting N/A len unsafe N/A len finished N/A len deadend N/A N/A N/A f write 
# actions here are just labels, but must be symbols with __name__ attribute

 N/A N/A N/A f writelines N/A N/A N/A actiondef aname N/A aname anames N/A N/A N/A f write 
# states, key of each state here is its number in graph etc. below

 N/A N/A N/A f write states = {
 N/A N/A i s N/A enumerate states N/A N/A N/A N/A f write N/A   %s
 N/A state i s N/A N/A N/A f write }
 N/A N/A N/A f write 
# initial state, accepting states, unsafe states, frontier states, deadend states

 N/A N/A N/A f write N/A %s
 N/A initial_state N/A N/A N/A f write N/A %s
 N/A accepting_states N/A N/A N/A f write N/A %s
 N/A unsafe_states N/A N/A N/A f write N/A %s
 N/A frontier_states N/A N/A N/A f write N/A %s
 N/A finished_states N/A N/A N/A f write N/A %s
 N/A deadend_states N/A N/A N/A f write N/A %s
 N/A runstarts_states N/A N/A N/A f write 
# finite state machine, list of tuples: (current, (action, args, result), next)

 N/A N/A N/A f write graph = (
 N/A N/A N/A f writelines N/A N/A   %s,
 N/A transition t N/A t graph N/A N/A N/A f write )
 N/A N/A N/A f close N/A