Go to the source code of this file.
Functions | |
void | add_assumption (int y, int z, wfst_assumes &assumptions) |
int | equivalent_to (int y, int z, wfst_assumes &assumptions) |
void | mark_undistinguished (wfst_marks &marks, wfst_assumes &assumptions) |
void add_assumption | ( | int | y, |
int | z, | ||
wfst_assumes & | assumptions | ||
) |
Definition at line 95 of file wfst_aux.cc.
int equivalent_to | ( | int | y, |
int | z, | ||
wfst_assumes & | assumptions | ||
) |
Definition at line 131 of file wfst_aux.cc.
void mark_undistinguished | ( | wfst_marks & | marks, |
wfst_assumes & | assumptions | ||
) |
Definition at line 161 of file wfst_aux.cc.