precedes
public boolean precedes(StatePDA state)
This method determines whether one final state precedes another final
state. Consider the following conflict: q' and q'' are final states and
both of the states q' and q'' are reached during the traversal of the
transducer with the same input of annotations. Then we resolve the
conflict as follows: if q' precedes q'' then the right hand side action
of q' (but not the right hand side of q'') is to be executed. During the
epsilon removal and the determinization of the transducer we msut resolve
all conflicts of this type. So this method is to be used during the
epsilon removal and the determinization. Of course, there may be
conflicts of other types. They are resolved during the traversal of the
transducer.