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.