

Go to the source code of this file.
Classes | |
| class | wfst_marks |
Typedefs | |
| typedef EST_TKVL< int, EST_IList > | wfst_assumes |
Functions | |
| void | mark_undistinguished (wfst_marks &marks, wfst_assumes &assumptions) |
| int | equivalent_to (int y, int z, wfst_assumes &assumptions) |
| void | add_assumption (int y, int z, wfst_assumes &assumptions) |
| typedef EST_TKVL<int,EST_IList> wfst_assumes |
Definition at line 71 of file wfst_aux.h.
| void mark_undistinguished | ( | wfst_marks & | marks, |
| wfst_assumes & | assumptions | ||
| ) |
Definition at line 161 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 add_assumption | ( | int | y, |
| int | z, | ||
| wfst_assumes & | assumptions | ||
| ) |
Definition at line 95 of file wfst_aux.cc.