|
ROSE
0.11.96.11
|
Definition at line 466 of file intArithLogical.h.


Public Member Functions | |
| void | visit (const Function &func, const DataflowNode &n, NodeState &state) |
Public Member Functions inherited from UnstructuredPassIntraAnalysis | |
| bool | runAnalysis (const Function &func, NodeState *state) |
Public Member Functions inherited from IntraProceduralAnalysis | |
| void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Static Protected Member Functions | |
| static void | setTrueFalseBranches (SgExpression *expr, IntArithLogicalFact **trueIneqFact, IntArithLogicalFact **falseIneqFact, bool doFalseBranch) |
Additional Inherited Members | |
Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
Protected Attributes inherited from IntraProceduralAnalysis | |
| InterProceduralAnalysis * | interAnalysis |
1.8.17