
public class LivenessTransformation extends Object implements TransformationFunction.Transformation<CfgTransformer,Cfg>
| Constructor and Description |
|---|
LivenessTransformation(Cfg cfg,
CfgWriteNode writeToKill) |
| Modifier and Type | Method and Description |
|---|---|
CfgTransformer |
getGraphTransformer() |
Cfg |
getNewSubgraph() |
public LivenessTransformation(Cfg cfg, CfgWriteNode writeToKill)
public CfgTransformer getGraphTransformer()
getGraphTransformer in interface TransformationFunction.Transformation<CfgTransformer,Cfg>public Cfg getNewSubgraph()
getNewSubgraph in interface TransformationFunction.Transformation<CfgTransformer,Cfg>Copyright © 2018. All rights reserved.