org.eclipse.jst.jsf.common.sets
Class AxiomaticSetUtil
java.lang.Object
org.eclipse.jst.jsf.common.sets.AxiomaticSetUtil
-
public class AxiomaticSetUtil
- extends java.lang.Object
Generic (unoptimized) utilities for doing set operations.
Provisional API - subject to change
Methods inherited from class java.lang.Object
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
|
AxiomaticSetUtil
public AxiomaticSetUtil()
union
public static void union(
AxiomaticSet newSet,
AxiomaticSet firstSet,
AxiomaticSet secondSet)
- Creates the union of firstSet and secondSet in newSet.
-
-
Parameters:
-
newSet
- -
firstSet
- -
secondSet
-
intersect
public static void intersect(
AxiomaticSet newSet,
AxiomaticSet firstSet,
AxiomaticSet secondSet)
- Creates an intersection of firstSet and secondSet in newSet
-
-
Parameters:
-
newSet
- -
firstSet
- -
secondSet
-
isDisjoint
public static boolean isDisjoint(
AxiomaticSet firstSet,
AxiomaticSet secondSet)
-
-
Parameters:
-
firstSet
- -
secondSet
-
-
Returns:
- true firstSet and secondSet have no common elements (their intersection is empty)
subtract
public static
AxiomaticSet subtract(
AxiomaticSet firstOperand,
AxiomaticSet secondOperand)
-
-
Parameters:
-
firstOperand
- -
secondOperand
-
-
Returns:
- the set formed by removing the intersection of firstOperand and secondOperand
from firstOperand, leaving only those elements in firstOperand that are not in secondOperand