affineInequalityFact

• affineInequalityFact ***

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/lattice/affineInequality.h>

class affineInequalityFact
    : public NodeFact

Base Classes

Name	Description
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). **

Member Functions

Name	Description
affineInequalityFact [constructor]	Constructors
copy [virtual]
str [virtual]

Data Members

Name

ineqs

Created with MrDocs