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 ValuationSet
complement()
boolean
contains(BitSet valuation)
abstract ValuationSetFactory
factory()
abstract <E> ValuationTree<E>
filter(ValuationTree<E> tree)
void
forEach(BitSet restriction, Consumer<? super BitSet> action)
void
forEach(Consumer<? super BitSet> action)
ValuationSet
intersection(ValuationSet other)
boolean
intersects(ValuationSet other)
boolean
isEmpty()
boolean
isUniverse()
abstract ValuationSet
project(BitSet quantifiedAtomicPropositions)
abstract ValuationSet
relabel(IntUnaryOperator mapping)
abstract BigInteger
size()
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>
toExpression()
String
toString()
ValuationSet
union(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()
-
-