public interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
Modifier and Type | Method and Description |
---|---|
AbstractState |
reduce(AbstractState expandedInitialState,
CfaNodeT blockEntryNode,
Call call)
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 reductionblockEntryNode
- the entry node of the called procedurecall
- the information of the call to the procedure