Lines Matching refs:sets
30 % In this module, sets are represented by ordered lists with no
51 In this module, sets are represented by ordered lists with no
233 fail_if:"Fails if the sets are not comparable",
238 = The sets are identical (in the sense of ==/2)
274 summary:"Checks whether two sets are disjoint",
277 Succeeds when the two ordered sets have no element in common.
343 summary:"Checks whether two sets have a non-empty intersection",
346 Succeeds when the two ordered sets have at least one element
368 summary:"Computes the intersection of two sets",
372 and Set2, provided that Set1 and Set2 are ordered sets.
381 summary:"Computes the intersection of two sets",
385 and Set2, provided that Set1 and Set2 are ordered sets.
421 summary:"Computes the intersection and the differences of two sets",
425 sets Set1 and Set2, Only1 is the set of elements that are only
457 summary:"Compares two sets for identity",
619 something occurs in both sets, we want to retain only one copy.
637 merging sets.
669 fail_if:"Fails if the sets are not disjoint",
671 Succeeds when Union is the union of disjoint sets Set1 and Set2.
695 args:["Sets":"A list of sets", "Union":"A set or variable"],
696 summary:"Computes the union of all sets in Sets",
699 Succeeds when Union is the union of all sets in the list Sets.
718 args:["Sets":"A list of sets", "Intersection":"A set or variable"],
719 summary:"Computes the intersection of all sets in Sets",
722 Succeeds when Intersection is the intersection of all sets in