Index

A

a (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) a() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) Actions (class in examples.mousefollower.mousefollower) (class in examples.TestHFSM.symplehfsm_demo) (class in examples.testablestatemachines.testablestatemachine)

add() (symplehfsm.BaseState method) add_state() (symplehfsm.Structure method) add_trans() (symplehfsm.Structure method)

B

b (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) b() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) BaseHFSMTests (class in symplehfsm) BaseHFSMTests.RecordingActions (class in symplehfsm) BaseHFSMTests.TestVector (class in symplehfsm) BaseState (class in symplehfsm) BaseState.InitialNotReplacedError

BaseState.InitialNotSetError BaseState.InitialStateAlreadySetError BaseState.ParentAlreadySetError BaseState.ReplacementStateIsNotChildError BaseState.WrongParentError BaseStateTests (class in test.test_symplehfsm)

C

c (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) c() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) check_consistency() (symplehfsm.BaseState method) (symplehfsm.Structure method) check_foo() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method)

check_foo_inverted() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) CHECKFOO (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) current_state (examples.TestHFSM.symplehfsm_demo.MyStateMachine attribute) (symplehfsm.SympleHFSM attribute)

D

d (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) d() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) dark (examples.testablestatemachines.testablestatemachine.Events attribute)

demo() (in module examples.TestHFSM.symplehfsm_demo) do_optimize() (symplehfsm.Structure method) draw() (examples.mousefollower.mousefollower.Entity method)

E

e (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) e() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) enter_s0() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) enter_s1() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) enter_s11() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) enter_s2() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) enter_s21() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) enter_s211() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) ENTERS0 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) ENTERS1 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) ENTERS11 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) ENTERS2 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) ENTERS21 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) ENTERS211 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) Entity (class in examples.mousefollower.mousefollower) EntityActions (class in examples.mousefollower.mousefollower) EventEnum (class in examples.TestHFSM.symplehfsm_demo) Events (class in examples.mousefollower.mousefollower) (class in examples.testablestatemachines.testablestatemachine) examples (module)

examples.mousefollower (module) examples.mousefollower.mousefollower (module) examples.testablestatemachines (module) examples.testablestatemachines.testablestatemachine (module) examples.TestHFSM (module) examples.TestHFSM.symplehfsm_demo (module) exit() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) (symplehfsm.SympleHFSM method) exit_s0() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) exit_s1() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) exit_s11() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) exit_s2() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) exit_s21() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) exit_s211() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) EXITS0 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) EXITS1 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) EXITS11 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) EXITS2 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) EXITS21 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) EXITS211 (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute)

F

f (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) f() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method)

following_entry() (examples.mousefollower.mousefollower.Actions method) (examples.mousefollower.mousefollower.EntityActions method) following_update() (examples.mousefollower.mousefollower.Actions method) (examples.mousefollower.mousefollower.EntityActions method)

G

g (examples.TestHFSM.symplehfsm_demo.EventEnum attribute)

g() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method)

H

h (examples.TestHFSM.symplehfsm_demo.EventEnum attribute) h() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) handle_event() (symplehfsm.SympleHFSM method)

handle_unkown_event() (test.test_symplehfsm.SympleHFSMTests method) has_child() (symplehfsm.BaseState method)

I

idle_entry() (examples.mousefollower.mousefollower.Actions method) (examples.mousefollower.mousefollower.EntityActions method) in_range (examples.mousefollower.mousefollower.Events attribute)

init() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) (symplehfsm.SympleHFSM method) is_child() (symplehfsm.BaseState method)

L

lamp_off() (examples.testablestatemachines.testablestatemachine.Actions method) lamp_on() (examples.testablestatemachines.testablestatemachine.Actions method)

light (examples.testablestatemachines.testablestatemachine.Events attribute)

M

main() (in module examples.mousefollower.mousefollower) (in module examples.testablestatemachines.testablestatemachine) movement (examples.testablestatemachines.testablestatemachine.Events attribute)

MyStateMachine (class in examples.TestHFSM.symplehfsm_demo)

N

no_movement (examples.testablestatemachines.testablestatemachine.Events attribute)

O

out_of_range (examples.mousefollower.mousefollower.Events attribute)

P

print_chart() (in module examples.TestHFSM.symplehfsm_demo) prove_one_transition() (symplehfsm.BaseHFSMTests method)

prove_transition_sequence() (symplehfsm.BaseHFSMTests method) proximity_sensor() (examples.mousefollower.mousefollower.Entity method)

R

remove() (symplehfsm.BaseState method)

S

separator() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) set_foo() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) set_state() (examples.TestHFSM.symplehfsm_demo.MyStateMachine method) (symplehfsm.SympleHFSM method) SETFOO (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) setUp() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTestsOptimized method) (test.test_symplehfsm.BaseStateTests method) (test.test_symplehfsm.StructureOptimizationTests method) (test.test_symplehfsm.StructureTests method) (test.test_symplehfsm.SympleHFSMTests method) (test.test_symplehfsm.SympleHFSMTestsOptimized method) (test.test_symplehfsm.SympleHFSMTransitionTests method) sm_structure (examples.TestHFSM.symplehfsm_demo.MyStateMachine attribute) start_timer() (examples.testablestatemachines.testablestatemachine.Actions method) StateUnknownError Structure (class in symplehfsm) Structure.EventAlreadyDefinedError Structure.ParentUnkownError Structure.RootAlreadySetOrParentMissingError Structure.StateIdentifierAlreadyUsed

StructureOptimizationTests (class in test.test_symplehfsm) StructureTests (class in test.test_symplehfsm) SympleDictHFSM (class in symplehfsm) SympleHFSM (class in symplehfsm) symplehfsm (module) SympleHFSM.InitAlreadyCalledError SympleHFSM.NotInitializedException SympleHFSM.ReentrantEventException SympleHFSMTests (class in examples.TestHFSM.symplehfsm_demo) (class in test.test_symplehfsm) SympleHFSMTests.TActions (class in examples.TestHFSM.symplehfsm_demo) SympleHFSMTests.TActions.AEnum (class in examples.TestHFSM.symplehfsm_demo) SympleHFSMTestsOptimized (class in examples.TestHFSM.symplehfsm_demo) (class in test.test_symplehfsm) SympleHFSMTransitionTests (class in test.test_symplehfsm)

T

tearDown() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test (module) test.test_symplehfsm (module) test_add_child() (test.test_symplehfsm.BaseStateTests method) test_add_child_and_initial() (test.test_symplehfsm.BaseStateTests method) test_add_child_initial_only_once() (test.test_symplehfsm.BaseStateTests method) test_add_returns_child() (test.test_symplehfsm.BaseStateTests method) test_add_root() (test.test_symplehfsm.StructureTests method) test_add_state() (test.test_symplehfsm.StructureTests method) test_add_state_parent_unkown() (test.test_symplehfsm.StructureTests method) test_add_transition_target_not_set() (test.test_symplehfsm.StructureTests method) test_add_transition_to_unkown_state() (test.test_symplehfsm.StructureTests method) test_add_transition_unkown_target() (test.test_symplehfsm.StructureTests method) test_adding_second_root_raises_exception() (test.test_symplehfsm.StructureTests method) test_adding_state_twice_raises_exception() (test.test_symplehfsm.StructureTests method) test_adding_transition_same_event_twice_on_same_state_raises_error() (test.test_symplehfsm.StructureTests method) test_adding_transitions() (test.test_symplehfsm.StructureTests method) test_attributes() (test.test_symplehfsm.SympleHFSMTransitionTests method) test_calling_exit_multiple_times_does_not_matter() (test.test_symplehfsm.SympleHFSMTests method) test_calling_handle_event_without_init_raises_exception() (test.test_symplehfsm.SympleHFSMTests method) test_calling_init_after_exit_should_initialize_normally() (test.test_symplehfsm.SympleHFSMTests method) test_calling_init_multifple_times_raises_error() (test.test_symplehfsm.SympleHFSMTests method) test_check_consistency_check_initial() (test.test_symplehfsm.BaseStateTests method) (test.test_symplehfsm.StructureTests method) test_check_consistency_check_initial_not_set() (test.test_symplehfsm.BaseStateTests method) (test.test_symplehfsm.StructureTests method) test_check_consistency_check_initial_wrong_parent() (test.test_symplehfsm.BaseStateTests method) (test.test_symplehfsm.StructureTests method) test_check_if_child_has_parent() (test.test_symplehfsm.BaseStateTests method) test_child_has_not_parent_as_child() (test.test_symplehfsm.BaseStateTests method) test_direct_child() (test.test_symplehfsm.BaseStateTests method) test_do_optimization_states() (test.test_symplehfsm.StructureOptimizationTests method) test_do_optimization_twice() (test.test_symplehfsm.StructureOptimizationTests method) test_do_optimization_with_transitions() (test.test_symplehfsm.StructureOptimizationTests method) test_exit_calls_exits() (test.test_symplehfsm.SympleHFSMTests method) test_exit_transition_from_s11() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_exit_transition_from_s211() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_guard_false() (test.test_symplehfsm.SympleHFSMTests method) test_guard_true() (test.test_symplehfsm.SympleHFSMTests method) test_handle_event_during_action() (test.test_symplehfsm.SympleHFSMTests method) (test.test_symplehfsm.SympleHFSMTestsOptimized method) test_handling_event_not_initialized() (test.test_symplehfsm.SympleHFSMTests method) test_handling_unkonw_event() (test.test_symplehfsm.SympleHFSMTests method) test_has_direct_child() (test.test_symplehfsm.BaseStateTests method) test_has_multiple_children() (test.test_symplehfsm.BaseStateTests method) test_init_calls_entries() (test.test_symplehfsm.SympleHFSMTests method) test_init_optimizedstructure() (test.test_symplehfsm.SympleHFSMTests method) test_init_unoptimizedstructure() (test.test_symplehfsm.SympleHFSMTests method) test_init_use_optimization_optimizedstructure() (test.test_symplehfsm.SympleHFSMTestsOptimized method) test_init_use_optimization_unoptimizedstructure() (test.test_symplehfsm.SympleHFSMTests method) (test.test_symplehfsm.SympleHFSMTestsOptimized method) test_initial_transition_state() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_multiple_children() (test.test_symplehfsm.BaseStateTests method) test_name_is_set() (test.test_symplehfsm.BaseStateTests method) test_parent_is_not_child() (test.test_symplehfsm.BaseStateTests method) test_parent_set_through_constructor() (test.test_symplehfsm.BaseStateTests method) test_remove_child() (test.test_symplehfsm.BaseStateTests method) test_remove_child_set_as_initial() (test.test_symplehfsm.BaseStateTests method) test_remove_child_set_as_initial_exception() (test.test_symplehfsm.BaseStateTests method) test_remove_child_set_as_initial_replacment_is_child() (test.test_symplehfsm.BaseStateTests method) test_repr() (test.test_symplehfsm.SympleHFSMTests method)

test_representation_is_string() (test.test_symplehfsm.BaseStateTests method) (test.test_symplehfsm.StructureTests method) (test.test_symplehfsm.SympleHFSMTransitionTests method) test_s0_t0_s211_event_e_case_s211() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s0_to_s211_event_e_case_s11() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s11_to_s11_event_h_guard_false() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s11_to_s11_event_h_guard_true() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s11_to_s211_event_g() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s1_to_s0_event_d() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s1_to_s11_event_b() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s1_to_s1_event_a() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s1_to_s211_event_f() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s1_to_s2_event_c() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s211_to_s0_event_g() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s211_to_s211_event_a_no_guard() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s211_to_s211_event_h_guard_false() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s211_to_s211_event_h_guard_true() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s211_to_s21_event_d() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s21_to_s211_event_b() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s2_to_s11_event_f() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_s2_to_s1_event_c() (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests method) test_self_hast_not_self_as_child() (test.test_symplehfsm.BaseStateTests method) test_self_is_not_child() (test.test_symplehfsm.BaseStateTests method) test_set_state_currently_handling_event() (test.test_symplehfsm.SympleHFSMTests method) test_set_state_normal() (test.test_symplehfsm.SympleHFSMTests method) test_set_state_unkown_state() (test.test_symplehfsm.SympleHFSMTests method) test_that_name_is_set() (test.test_symplehfsm.StructureTests method) timeout (examples.testablestatemachines.testablestatemachine.Events attribute) TRANS_S0_TO_S211_E (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s0_to_s211_e() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S11_TO_S11_H (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s11_to_s11_h() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S11_TO_S211_G (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s11_to_s211_g() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S1_TO_S0_D (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s1_to_s0_d() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S1_TO_S11_B (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s1_to_s11_b() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S1_TO_S1_A (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s1_to_s1_a() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S1_TO_S211_F (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s1_to_s211_f() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S1_TO_S2_C (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s1_to_s2_c() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S211_TO_S0_G (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s211_to_s0_g() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S211_TO_S21_D (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s211_to_s21_d() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S21_TO_S211_B (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s21_to_s211_b() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S21_TO_S21_H (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s21_to_s21_h() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S2_TO_S11_F (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s2_to_s11_f() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) TRANS_S2_TO_S1_C (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute) trans_s2_to_s1_c() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) Transition (class in symplehfsm)

U

unset_foo() (examples.TestHFSM.symplehfsm_demo.Actions method) (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions method) UNSETFOO (examples.TestHFSM.symplehfsm_demo.SympleHFSMTests.TActions.AEnum attribute)

update (examples.mousefollower.mousefollower.Events attribute) update() (examples.mousefollower.mousefollower.Entity method)