Edge defined by in-state and out-state More...
#include <extensional.hh>
Public Attributes | |
StateIdx | i_state |
Number of in-state. More... | |
StateIdx | o_state |
Number of out-state. More... | |
Edge defined by in-state and out-state
Definition at line 80 of file extensional.hh.
StateIdx Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Edge::i_state |
Number of in-state.
Definition at line 82 of file extensional.hh.
StateIdx Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Edge::o_state |
Number of out-state.
Definition at line 83 of file extensional.hh.