Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<T,G> |
IntegratedFlowFunction.interpretOrReplace(N node,
G graph,
AssumptionMap<E,A> assumptionMap)
Either interpret a node by computing new assumptions, or produce
node transformation.
|
TransformationFunction.Transformation<T,G> |
TransformationFunction.transform(N node,
G graph,
AssumptionMap<E,A> assumptionMap)
Gets node transformation for a given node.
|
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsTransformationFunction.transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
Modifier and Type | Class and Description |
---|---|
class |
LivenessTransformation
Kill assignment.
|
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Copyright © 2016. All rights reserved.