public class EquivalenceClassStateFactory
extends java.lang.Object
Constructor | Description |
---|---|
EquivalenceClassStateFactory(EquivalenceClassFactory factory,
boolean eagerUnfold,
boolean removeRedundantObligations) |
Modifier and Type | Method | Description |
---|---|---|
EquivalenceClass |
getInitial(EquivalenceClass clazz,
EquivalenceClass... environmentArray) |
|
EquivalenceClass |
getInitial(Formula... formulas) |
|
EquivalenceClass |
getNondetSuccessor(EquivalenceClass clazz,
java.util.BitSet valuation) |
|
java.util.BitSet |
getSensitiveAlphabet(EquivalenceClass clazz) |
|
EquivalenceClass |
getSuccessor(EquivalenceClass clazz,
java.util.BitSet valuation,
EquivalenceClass... environmentArray) |
|
EquivalenceClass[] |
getSuccessors(EquivalenceClass[] clazz,
java.util.BitSet valuation,
EquivalenceClass environment) |
|
java.util.List<EquivalenceClass> |
splitEquivalenceClass(EquivalenceClass clazz) |
public EquivalenceClassStateFactory(EquivalenceClassFactory factory, boolean eagerUnfold, boolean removeRedundantObligations)
public EquivalenceClass getInitial(Formula... formulas)
public EquivalenceClass getInitial(EquivalenceClass clazz, EquivalenceClass... environmentArray)
public EquivalenceClass getNondetSuccessor(EquivalenceClass clazz, java.util.BitSet valuation)
public java.util.BitSet getSensitiveAlphabet(EquivalenceClass clazz)
public EquivalenceClass getSuccessor(EquivalenceClass clazz, java.util.BitSet valuation, EquivalenceClass... environmentArray)
@Nullable public EquivalenceClass[] getSuccessors(EquivalenceClass[] clazz, java.util.BitSet valuation, @Nullable EquivalenceClass environment)
public java.util.List<EquivalenceClass> splitEquivalenceClass(EquivalenceClass clazz)