Package owl.collections
Class ValuationSet
- java.lang.Object
-
- owl.collections.ValuationSet
-
public class ValuationSet extends Object
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedValuationSet(ValuationSetFactory factory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BitSetany()ValuationSetcomplement()booleancontains(BitSet valuation)booleancontains(ValuationSet other)voidforEach(BitSet restriction, Consumer<BitSet> action)voidforEach(Consumer<BitSet> action)ValuationSetFactorygetFactory()ValuationSetintersection(ValuationSet other)booleanintersects(ValuationSet other)booleanisEmpty()booleanisUniverse()jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>toExpression()StringtoString()ValuationSetunion(ValuationSet other)
-
-
-
Constructor Detail
-
ValuationSet
protected ValuationSet(ValuationSetFactory factory)
-
-
Method Detail
-
getFactory
public final ValuationSetFactory getFactory()
-
isEmpty
public final boolean isEmpty()
-
isUniverse
public final boolean isUniverse()
-
any
public final BitSet any()
-
contains
public final boolean contains(BitSet valuation)
-
contains
public final boolean contains(ValuationSet other)
-
intersects
public final boolean intersects(ValuationSet other)
-
complement
public final ValuationSet complement()
-
union
public final ValuationSet union(ValuationSet other)
-
intersection
public final ValuationSet intersection(ValuationSet other)
-
toExpression
public final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> toExpression()
-
-