public interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
|Modifier and Type||Method and Description|
Creates the initial state of the called procedure discarding the useless information from the state of the caller.
AbstractState reduce(AbstractState expandedInitialState, CfaNodeT blockEntryNode, Call call)
expandedInitialState- the entry state of the called procedure before any reduction
blockEntryNode- the entry node of the called procedure
call- the information of the call to the procedure