Lines Matching defs:amode
115 amode:(list_to_ord_set(+,-) is det),
132 amode:(is_ordset(?) is semidet),
152 amode:(ord_memberchk(?,+) is semidet),
168 amode:(ord_del_element(+,?,-) is det),
193 amode:(ord_selectchk(?,+,-) is semidet),
212 amode:(ord_nonmember(?,+) is semidet),
229 amode:(ord_compare(-,+,+) is semidet),
272 amode:(ord_disjoint(+,+) is semidet),
299 amode:(ord_insert(+,+,-) is det),
310 amode:(ord_add_element(+,+,-) is det),
341 amode:(ord_intersect(+,+) is semidet),
366 amode:(ord_intersect(+,+,-) is det),
379 amode:(ord_intersection(+,+,-) is det),
415 amode:(ord_intersection(+,+,-,-,-) is det),
455 amode:(ord_seteq(+,+) is semidet),
471 amode:(ord_subset(+,+) is semidet),
492 amode:(ord_superset(+,+) is semidet),
507 amode:(ord_proper_subset(+,+) is semidet),
529 amode:(ord_proper_superset(+,+) is semidet),
545 amode:(ord_subtract(+,+,-) is det),
578 amode:(ord_symdiff(+,+,-) is det),
613 amode:(ord_union(+,+,-) is det),
628 amode:(ord_union(+,+,-,-) is det),
665 amode:(ord_disjoint_union(+,+,-) is semidet),
694 amode:(ord_union(+,-) is det),
717 amode:(ord_intersection(+,-) is det),