public interface TransferRelation
Modifier and Type | Method and Description |
---|---|
java.util.Collection<? extends AbstractState> |
getAbstractSuccessors(AbstractState abstractState,
Precision precision)
Returns abstract successor states of the
abstractState under the selected precision . |
java.util.Collection<? extends AbstractState> getAbstractSuccessors(AbstractState abstractState, Precision precision)
abstractState
under the selected precision
.