public interface EquivalenceClass
false
.Modifier and Type | Field | Description |
---|---|---|
static EquivalenceClass[] |
EMPTY_ARRAY |
Modifier and Type | Method | Description |
---|---|---|
EquivalenceClass |
and(EquivalenceClass equivalenceClass) |
|
EquivalenceClass |
exists(java.util.function.Predicate<Formula> predicate) |
|
void |
freeRepresentative() |
|
java.util.BitSet |
getAtoms() |
Collects all literals used in the bdd and stores the corresponding atoms in the BitSet.
|
EquivalenceClassFactory |
getFactory() |
|
Formula |
getRepresentative() |
|
java.util.Set<Formula> |
getSupport() |
Compute the support of the EquivalenceClass.
|
default java.util.Set<Formula> |
getSupport(java.util.function.Predicate<Formula> predicate) |
|
boolean |
implies(EquivalenceClass equivalenceClass) |
|
boolean |
isFalse() |
|
boolean |
isTrue() |
|
EquivalenceClass |
or(EquivalenceClass equivalenceClass) |
|
EquivalenceClass |
substitute(java.util.function.Function<? super Formula,? extends Formula> substitution) |
|
EquivalenceClass |
temporalStep(java.util.BitSet valuation) |
|
EquivalenceClass |
temporalStepUnfold(java.util.BitSet valuation) |
|
boolean |
testSupport(java.util.function.Predicate<Formula> predicate) |
|
EquivalenceClass |
unfold() |
|
EquivalenceClass |
unfoldTemporalStep(java.util.BitSet valuation) |
static final EquivalenceClass[] EMPTY_ARRAY
EquivalenceClass and(EquivalenceClass equivalenceClass)
EquivalenceClass exists(java.util.function.Predicate<Formula> predicate)
void freeRepresentative()
java.util.BitSet getAtoms()
EquivalenceClassFactory getFactory()
@Nullable Formula getRepresentative()
java.util.Set<Formula> getSupport()
default java.util.Set<Formula> getSupport(java.util.function.Predicate<Formula> predicate)
boolean implies(EquivalenceClass equivalenceClass)
boolean isFalse()
boolean isTrue()
EquivalenceClass or(EquivalenceClass equivalenceClass)
EquivalenceClass substitute(java.util.function.Function<? super Formula,? extends Formula> substitution)
EquivalenceClass temporalStep(java.util.BitSet valuation)
EquivalenceClass temporalStepUnfold(java.util.BitSet valuation)
boolean testSupport(java.util.function.Predicate<Formula> predicate)
EquivalenceClass unfold()
EquivalenceClass unfoldTemporalStep(java.util.BitSet valuation)