Package owl.factories
Interface ValuationSetFactory
-
public interface ValuationSetFactory
-
-
Method Summary
-
-
-
Method Detail
-
alphabetSize
default int alphabetSize()
-
of
ValuationSet of(int literal)
-
of
ValuationSet of(BitSet valuation)
-
of
ValuationSet of(BitSet valuation, BitSet restrictedAlphabet)
-
of
default ValuationSet of(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> expression, @Nullable IntUnaryOperator mapping)
-
empty
ValuationSet empty()
-
universe
ValuationSet universe()
-
complement
ValuationSet complement(ValuationSet set)
-
any
BitSet any(ValuationSet set)
-
contains
boolean contains(ValuationSet set, BitSet valuation)
-
contains
boolean contains(ValuationSet set, ValuationSet other)
-
intersects
boolean intersects(ValuationSet set, ValuationSet other)
-
forEach
void forEach(ValuationSet set, Consumer<? super BitSet> action)
-
forEach
void forEach(ValuationSet set, BitSet restriction, Consumer<? super BitSet> action)
-
intersection
ValuationSet intersection(ValuationSet set1, ValuationSet set2)
-
intersection
default ValuationSet intersection(Iterable<ValuationSet> sets)
-
intersection
ValuationSet intersection(Iterator<ValuationSet> sets)
-
union
ValuationSet union(ValuationSet set1, ValuationSet set2)
-
union
default ValuationSet union(Iterable<ValuationSet> sets)
-
union
ValuationSet union(Iterator<ValuationSet> sets)
-
minus
default ValuationSet minus(ValuationSet set1, ValuationSet set2)
-
toExpression
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> toExpression(ValuationSet set)
-
inverse
<S> ValuationTree<S> inverse(Map<S,ValuationSet> sets)
-
-