next up previous contents index
Next: is_total_degree_inverse_lexical_ greater_pp( PP Up: Reference Manual Previous: is_total_degree_inverse_lexical_ greater_el( EL

is_total_degree_inverse_lexical_ greater_mon( Mon m1, Mon m2)

 
Type:
Predicate
Defined in:
mon.c
tex2html_wrap_inline6634
Implementation of the virtual predicates is_greater_mon and
is_greater_mon_pair_order.
See also:
Section 5.1,
is_total_degree_inverse_lexical_greater_pp.



windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998