RebuildOperator (ProGuardCORE)

All Known Implementing Classes:

NoOpRebuildOperator
```
public interface RebuildOperator
```
This operator is used to avoid collision of program identifiers when returning from a procedure call. This operator does not compute any abstraction, but just performs simple operations as renaming variables, depending on the domain.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`AbstractState`	`rebuild(AbstractState predecessorCallState, AbstractState expandedOutputState)`	Performs the rebuilding of the return state.

- Method Detail
  - rebuild
```
AbstractState rebuild(AbstractState predecessorCallState,
                      AbstractState expandedOutputState)
```
    Performs the rebuilding of the return state.
    
    Parameters:
    
    predecessorCallState - the state of the caller at the moment of the procedure call
    
    expandedOutputState - the output of ExpandOperator
    
    Returns:
    
    The state of the caller after the procedure call