Searched refs:get_state_by_name (Results 1 – 8 of 8) sorted by relevance
91 state_machine::get_state_by_name (const char *name) in get_state_by_name() function in ana::state_machine
60 state_t get_state_by_name (const char *name);
1432 = sm->get_state_by_name ("unchecked"); in test_program_state_dumping()
115 state_machine::get_state_by_name (const char *name) const in get_state_by_name() function in ana::state_machine
88 state_t get_state_by_name (const char *name) const;
1617 = sm->get_state_by_name ("unchecked"); in test_program_state_1()
4211 (state_machine::get_state_by_name): Reimplement in terms of state4223 (state_machine::get_state_by_name): Make const.6185 * sm.cc (state_machine::get_state_by_name): New function.6186 * sm.h (state_machine::get_state_by_name): New decl.
2400 state_machine::state_t tainted = sm.get_state_by_name ("tainted"); in mark_params_as_tainted()