core-extension-layer.h

typedef State State;

typedef Transition Transition;

typedef TransitionIterator TransitionIterator;








State create_state( TransducerHandle t );

State set_final_state( State s, TransducerHandle t, float w=0 );








void define_transition( TransducerHandle t, State orig, KeyPair *p, State target, float w=0 );








State get_initial_state( TransducerHandle t );

bool is_final_state( State s, TransducerHandle t );

float get_final_weight( State s, TransducerHandle t );








KeyPair *get_transition_keypair( Transition tr );

State get_transition_to( Transition tr );

float get_transition_weight( Transition tr );









TransitionIterator begin_ti( TransducerHandle t, State s );

void next_ti( TransitionIterator &ti );

bool is_end_ti( TransitionIterator ti );

Transition get_ti_transition( TransitionIterator ti );



State set_marked_state( State s, TransducerHandle t );


State unset_marked_state( State s, TransducerHandle t );


bool is_marked( State s, TransducerHandle t );



// \brief Size of the transition iterator ti. */
//size_t size_ti( TransitionIterator ti );

---