File SymbolicVal.h

↰ Parent directory (src/midend/astUtil/symbolicVal)

Definition (src/midend/astUtil/symbolicVal/SymbolicVal.h)

• Program Listing for File SymbolicVal.h

Includes

• AstInterface.h (File AstInterface.h)

• CountRefHandle.h (File CountRefHandle.h)

• FunctionObject.h (File FunctionObject.h)

• mlog.h (File mlog.h)

• ostream

• string

• vector (File DataFlowAnalysis.h)

Included By

• File AnnotExpr.h

• File CPPAnnotation.h

• File TypeAnnotation.h

• File AnalysisInterface.h

• File SymbolicBound.h

• File SymbolicExpr.h

• File LoopTree.h

• File LoopTreeDummyNode.h

• File PlatoOmegaInterface.h

• File StmtDepAnal.h

• File LoopTransformInterface.h

Classes

• Struct SymbolicBound

• Class AstTreeReplaceVar

• Class SymbolicAstWrap

• Class SymbolicCond

• Class SymbolicConst

• Class SymbolicFunction

• Class SymbolicPow

• Class SymbolicVal

• Class SymbolicValGenerator

• Class SymbolicValImpl

• Class SymbolicVar

• Class SymbolicVisitor

Enums

• Enum CompareRel

• Enum SymbolicValType

• Enum SymOpType

Functions

• Function ApplyBinOP(SymOpType, const SymbolicVal&, const SymbolicVal&)

• Function Clone(const SymbolicValImpl&)

• Function CompareVal

• Function Equal

• Function FindVal

• Function GetValBound

• Function GetValLB

• Function GetValUB

• Function HasFraction

• Function Max

• Function Min

• Function operator!=(const SymbolicVal&, const SymbolicVal&)

• Function operator!=(const SymbolicBound&, const SymbolicBound&)

• Function operator&=(SymbolicBound&, const SymbolicBound&)

• Function operator*(const SymbolicVal&, const SymbolicVal&)

• Function operator+(const SymbolicVal&, const SymbolicVal&)

• Function operator-(const SymbolicVal&, const SymbolicVal&)

• Function operator-(const SymbolicVal&)

• Function operator/

• Function operator<(const SymbolicVal&, const SymbolicVal&)

• Function operator<=(const SymbolicVal&, const SymbolicVal&)

• Function operator==(const SymbolicVal&, const SymbolicVal&)

• Function operator==(const SymbolicBound&, const SymbolicBound&)

• Function operator>

• Function operator>=

• Function operator|=(SymbolicBound&, const SymbolicBound&)

• Function RelToString

• Function ReplaceVal(const SymbolicVal&, MapObject<SymbolicVal, SymbolicVal>&)

• Function ReplaceVal(const SymbolicVal&, const SymbolicVal&, const SymbolicVal&)

• Function Reverse(CompareRel)

• Function UnwrapVarCond