Package owl.collections
Class ValuationSet
- java.lang.Object
-
- owl.collections.ValuationSet
-
public abstract class ValuationSet extends Object
-
-
Constructor Summary
Constructors Constructor Description ValuationSet()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract ValuationSetcomplement()booleancontains(BitSet valuation)abstract ValuationSetFactoryfactory()abstract <E> ValuationTree<E>filter(ValuationTree<E> tree)voidforEach(BitSet restriction, Consumer<? super BitSet> action)voidforEach(Consumer<? super BitSet> action)ValuationSetintersection(ValuationSet other)booleanintersects(ValuationSet other)booleanisEmpty()booleanisUniverse()abstract ValuationSetproject(BitSet quantifiedAtomicPropositions)abstract ValuationSetrelabel(IntUnaryOperator mapping)abstract BigIntegersize()jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>toExpression()StringtoString()ValuationSetunion(ValuationSet other)
-
-
-
Method Detail
-
factory
public abstract ValuationSetFactory factory()
-
isEmpty
public final boolean isEmpty()
-
isUniverse
public final boolean isUniverse()
-
contains
public final boolean contains(BitSet valuation)
-
intersects
public final boolean intersects(ValuationSet other)
-
complement
public abstract 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()
-
filter
public abstract <E> ValuationTree<E> filter(ValuationTree<E> tree)
-
project
public abstract ValuationSet project(BitSet quantifiedAtomicPropositions)
-
relabel
public abstract ValuationSet relabel(IntUnaryOperator mapping)
-
size
public abstract BigInteger size()
-
-