Specification of a DFA transition. More...
#include <int.hh>
Public Member Functions | |
Transition () | |
Transition (int i_state0, int symbol0, int o_state0) | |
Initialize members. | |
Public Attributes | |
int | i_state |
input state | |
int | symbol |
symbol | |
int | o_state |
output state Default constructor |
Gecode::DFA::Transition::Transition | ( | void | ) | [inline] |
Gecode::DFA::Transition::Transition | ( | int | i_state0, |
int | symbol0, | ||
int | o_state0 | ||
) | [inline] |