public interface EquivalenceClassFactory
Modifier and Type | Method | Description |
---|---|---|
default EquivalenceClass |
conjunction(java.lang.Iterable<EquivalenceClass> classes) |
|
EquivalenceClass |
conjunction(java.util.Iterator<EquivalenceClass> classes) |
|
default EquivalenceClass |
conjunction(EquivalenceClass... classes) |
|
default EquivalenceClass |
disjunction(java.lang.Iterable<EquivalenceClass> classes) |
|
EquivalenceClass |
disjunction(java.util.Iterator<EquivalenceClass> classes) |
|
default EquivalenceClass |
disjunction(EquivalenceClass... classes) |
|
default EquivalenceClass |
getFalse() |
|
default EquivalenceClass |
getTrue() |
|
com.google.common.collect.ImmutableList<java.lang.String> |
getVariables() |
|
EquivalenceClass |
of(Formula formula) |
EquivalenceClass of(Formula formula)
default EquivalenceClass conjunction(EquivalenceClass... classes)
default EquivalenceClass conjunction(java.lang.Iterable<EquivalenceClass> classes)
EquivalenceClass conjunction(java.util.Iterator<EquivalenceClass> classes)
default EquivalenceClass disjunction(EquivalenceClass... classes)
default EquivalenceClass disjunction(java.lang.Iterable<EquivalenceClass> classes)
EquivalenceClass disjunction(java.util.Iterator<EquivalenceClass> classes)
default EquivalenceClass getFalse()
default EquivalenceClass getTrue()
com.google.common.collect.ImmutableList<java.lang.String> getVariables()