
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.