affineInequality

Synopsis

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

class affineInequality
    : public printable

Base Classes

Name	Description
printable

Types

Name

signs

Enums

Name

Unnamed enum

Member Functions

Name	Description
affineInequality [constructor]	Constructors
operator=
getA
getB
getC
getLevel
getXSign
getYSign
intersectUpd
isXZero
isYZero
operator*=
operator+=
semLessThan
semLessThanEq
semLessThanNeg
set
setA
setB
setC
setToBottom
setToTop
str [virtual]
strNeg
unionUpd
operator==	Equality operator
operator!=	Inequality operator
operator<	Less‐than operator

Static Member Functions

Name

mayConsistent

signToString

Static Data Members

Name

bottom

constrKnown

top

Protected Member Functions

Name

normalize

Protected Data Members

Name

a

b

c

level

xSign

xZero

ySign

yZero

Friends

Name	Description
varAffineInequality

Created with MrDocs