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.