public class ArgTransferRelation extends SingleWrapperTransferRelation
SingleWrapperTransferRelation applies the wrapped TransferRelation
to the AbstractState stored in an ARG node and wraps its output into a child
ARG node.| Modifier and Type | Field and Description |
|---|---|
protected ArgAbstractStateFactory |
argAbstractStateFactory |
wrappedTransferRelation| Constructor and Description |
|---|
ArgTransferRelation(TransferRelation wrappedTransferRelation,
ArgAbstractStateFactory argAbstractStateFactory)
Create a wrapper transfer relation.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<? extends ArgAbstractState> |
getAbstractSuccessors(AbstractState abstractState,
Precision precision)
Returns abstract successor states of the
abstractState under the selected precision. |
getWrappedTransferRelationsprotected final ArgAbstractStateFactory argAbstractStateFactory
public ArgTransferRelation(TransferRelation wrappedTransferRelation, ArgAbstractStateFactory argAbstractStateFactory)
wrappedTransferRelation - a transfer relation to be wrappedargAbstractStateFactory - an ARG node factorypublic java.util.Collection<? extends ArgAbstractState> getAbstractSuccessors(AbstractState abstractState, Precision precision)
TransferRelationabstractState under the selected precision.getAbstractSuccessors in interface TransferRelationgetAbstractSuccessors in class SingleWrapperTransferRelation