Searched refs:write_state_variables (Results 1 – 3 of 3) sorted by relevance
191 void write_state_variables (void);1261 state_writer::write_state_variables (void) in write_state_variables() function in state_writer1395 sw.write_state_variables (); in write_state()
30193 (write_state_variables): ditto, renaming to...30194 (state_writer::write_state_variables)
189 void write_state_variables (void);1242 state_writer::write_state_variables (void) in write_state_variables() function1376 sw.write_state_variables (); in write_state()