Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<N,E,T,G,CombinedIntegratedAnalysis.CombinedAssumption> |
CombinedIntegratedAnalysis.getIntegratedFlowFunction() |
IntegratedFlowFunction<N,E,T,G,A> |
IntegratedAnalysis.getIntegratedFlowFunction()
Gets analysis integrated flow function.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstantsIntegratedFlowFunction
Integrated flow function for ConstantsAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
CopyIntegratedFlowFunction
Integrated flow function for CopyAnalysis.
|
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,CopyAssumption> |
CopyAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Class and Description |
---|---|
class |
LivenessIntegratedFlowFunction |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption> |
LivenessAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Class and Description |
---|---|
class |
UnreachabeIntegratedTransformationFunction |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions> |
UnreachableAnalysis.getIntegratedFlowFunction() |
Copyright © 2018. All rights reserved.