40 #ifndef __WFST_AUX_H__
41 #define __WFST_AUX_H__
50 {
if (p < q)
return p_mark_table[q][p];
51 else return p_mark_table[p][q]; }
52 void set_val(
int p,
int q,
char e)
53 {
if (p < q) p_mark_table[q][p] = e;
54 else p_mark_table[p][q] = e; }
59 int distinguished(
int p,
int q) {
return val(p,q) ==
'd'; }
60 int undistinguished(
int p,
int q)
61 {
return val(p,q) ==
'u'; }
62 void distinguish(
int p,
int q) { set_val(p,q,
'd'); }
63 void undistinguish(
int p,
int q) { set_val(p,q,
'u'); }
64 void find_state_map(
EST_IVector &state_map,
int &num_new_states);
70 int equivalent_to(
int y,
int z,
wfst_assumes &assumptions);
71 void add_assumption(
int y,
int z,
wfst_assumes &assumptions);
Templated Key-Value list. Objects of type EST_TKVL contain lists which are accessed by a key of type ...