NodeFact

• NodeFact * A fact associated with a CFG node by * some analysis thatis not evolved as part * of a dataflow analysis (i.e. it should * stay constant throughout the analysis). ***

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/state/nodeState.h>

class NodeFact
    : public printable

Base Classes

Name	Description
printable

Member Functions

Name

copy [virtual]

Derived Classes

Name	Description
DFStateAtReturns
NodeID
affineInequalityFact	* affineInequalityFact **

Created with MrDocs