SymbolicTerm

Synopsis

Declared in <src/midend/astUtil/symbolicVal/SymbolicExpr.h>

class SymbolicTerm;

Member Functions

Name	Description
SymbolicTerm [constructor]	Constructors
~SymbolicTerm [destructor]	Destructor
operator=	Copy assignment operator
CombineWith
GetVal
IsConst
IsConstInt
IsTop
toString
operator==	Equality operators

Private Data Members

Name

time1

time2

v

Friends

Name	Description
SymbolicExpr

Non-Member Functions

Name	Description
operator!=	Inequality operator

Created with MrDocs