public interface ValuationSet
Modifier and Type | Method | Description |
---|---|---|
java.util.BitSet |
any() |
|
boolean |
contains(java.util.BitSet valuation) |
|
boolean |
containsAll(ValuationSet vs) |
|
void |
forEach(java.util.BitSet restriction,
java.util.function.Consumer<? super java.util.BitSet> action) |
|
void |
forEach(java.util.function.Consumer<? super java.util.BitSet> action) |
|
ValuationSetFactory |
getFactory() |
|
boolean |
isEmpty() |
|
boolean |
isUniverse() |
|
int |
size() |
|
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> |
toExpression() |
java.util.BitSet any()
boolean contains(java.util.BitSet valuation)
boolean containsAll(ValuationSet vs)
void forEach(java.util.function.Consumer<? super java.util.BitSet> action)
void forEach(java.util.BitSet restriction, java.util.function.Consumer<? super java.util.BitSet> action)
ValuationSetFactory getFactory()
boolean isEmpty()
boolean isUniverse()
int size()
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> toExpression()