Core Extension Layer

Datatypes
typedef State	State
	A state in a transducer.
typedef Transition	Transition
	A transition between two states.
typedef TransitionIterator	TransitionIterator
	A transition iterator over all transitions leaving from a state.
Defining states
State	create_state (TransducerHandle t)
	Create a state in transducer t.
State	set_final_state (State s, TransducerHandle t, float w=0)
	Set the state s in transducer t as final with weight w.
Defining transitions
void	define_transition (TransducerHandle t, State orig, KeyPair *p, State target, float w=0)
	Define a transition leaving from state orig in transducer t with key pair p, target state target and weight w.
Using states
State	get_initial_state (TransducerHandle t)
	Get initial state from transducer t.
bool	is_final_state (State s, TransducerHandle t)
	Whether state s in transducer t is final.
float	get_final_weight (State s, TransducerHandle t)
	Get the final weight of state s in transducer t.
Using transitions
KeyPair *	get_transition_keypair (Transition tr)
	Get the key pair of transition tr.
State	get_transition_to (Transition tr)
	Get the goal state of transition tr.
float	get_transition_weight (Transition tr)
	Get the weight of transition tr.
Iterators over transitions
TransitionIterator	begin_ti (TransducerHandle t, State s)
	A transition iterator over transitions leaving from state s in transducer t.
void	next_ti (TransitionIterator &ti)
	Next transition in ti.
bool	is_end_ti (TransitionIterator ti)
	Whether transition iterator ti has passed the last transition.
Transition	get_ti_transition (TransitionIterator ti)
	Get the transition represented by transition iterator ti.
State	set_marked_state (State s, TransducerHandle t)
	Set the state s in transducer t as marked.
State	unset_marked_state (State s, TransducerHandle t)
	Unset the state s in transducer t as marked.
bool	is_marked (State s, TransducerHandle t)
	Whether state s in transducer t has been marked.

---

Detailed Description

Datatypes and functions related to manipulation of transducer states and transitions.

---

Typedef Documentation

typedef State State

A state in a transducer.

Definition at line 16 of file core-extension-layer.h.

typedef Transition Transition

A transition between two states.

Definition at line 19 of file core-extension-layer.h.

typedef TransitionIterator TransitionIterator

A transition iterator over all transitions leaving from a state.

Definition at line 22 of file core-extension-layer.h.

---

Function Documentation

TransitionIterator begin_ti	(	TransducerHandle	t,
		State	s
	)

A transition iterator over transitions leaving from state s in transducer t.

State create_state

(

TransducerHandle

t

)

Create a state in transducer t.

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

Define a transition leaving from state orig in transducer t with key pair p, target state target and weight w.

float get_final_weight	(	State	s,
		TransducerHandle	t
	)

Get the final weight of state s in transducer t.

Precondition:

s is a final state.

State get_initial_state

(

TransducerHandle

t

)

Get initial state from transducer t.

Transition get_ti_transition

(

TransitionIterator

ti

)

Get the transition represented by transition iterator ti.

KeyPair* get_transition_keypair

(

Transition

tr

)

Get the key pair of transition tr.

State get_transition_to

(

Transition

tr

)

Get the goal state of transition tr.

float get_transition_weight

(

Transition

tr

)

Get the weight of transition tr.

bool is_end_ti

(

TransitionIterator

ti

)

Whether transition iterator ti has passed the last transition.

bool is_final_state	(	State	s,
		TransducerHandle	t
	)

Whether state s in transducer t is final.

bool is_marked	(	State	s,
		TransducerHandle	t
	)

Whether state s in transducer t has been marked.

void next_ti

(

TransitionIterator &

ti

)

Next transition in ti.

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

Set the state s in transducer t as final with weight w.

State set_marked_state	(	State	s,
		TransducerHandle	t
	)

Set the state s in transducer t as marked.

State unset_marked_state	(	State	s,
		TransducerHandle	t
	)

Unset the state s in transducer t as marked.