File SymbolicExpr.h

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

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

• Program Listing for File SymbolicExpr.h

Includes

• LatticeElemList.h (File LatticeElemList.h)

• SymbolicVal.h (File SymbolicVal.h)

• assert.h

• iostream

Included By

• File SymbolicMultiply.h

• File SymbolicPlus.h

• File SymbolicSelect.h

• File PlatoOmegaInterface.h

Classes

• Class OPApplicator

• Class SymbolicExpr

• Class SymbolicOperands

• Class SymbolicTerm

• Class ValTermVisitor

Functions

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

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

• Function GetExprVal

• Function IsOne

• Function IsZero

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