| java.lang.Object
 de.uka.ilkd.key.logic.CascadeTermOrdering
| CascadeTermOrdering | | public class CascadeTermOrdering implements TermOrdering(Code) | | Combine two term orderings: if two terms are unrelated, regarding
ordering orderingA, then orderingB is
used (nb: this will usually NOT result in an ordering, for which *
substitutions are monotonic)
|
| compare | | public int compare(Term p_a, Term p_b)(Code) | | Compare the two given terms
a number negative, zero or a number positive ifp_a is less than, equal, or greater thanp_b regarding the ordering given by theimplementing class |
|
|