next up previous contents index
Next: is_disjoint_pp( PP pp1 Up: Reference Manual Previous: inverse_rn( RN r)

is_disjoint_el( EL el1, EL el2)

Type:
Predicate
Defined in:
el.c
tex2html_wrap_inline6634
Implementation of virtual predicate is_disjoint_pp.
See also:
is_disjoint_pp.


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