how many rows/states are in the machine/table . concode_field_sep parse_action_row[] under_state concode_elem_sep int _num_states concode_field_sep void check_reductions concode_elem_sep String toString
int function ( ) { return _num_states ; }