Class SymbolicTerm#
Defined in File SymbolicExpr.h
Class Documentation#
-
class SymbolicTerm#
Public Functions
-
inline SymbolicTerm(int t1, int t2, const SymbolicVal &_v)#
-
inline SymbolicTerm(int t1, int t2)#
-
inline SymbolicTerm()#
-
inline ~SymbolicTerm()#
-
inline SymbolicTerm &operator=(const SymbolicTerm &that)#
-
std::string toString() const#
-
inline bool IsConst() const#
-
inline bool IsConstInt(int &val1, int &val2) const#
-
inline bool IsConstInt(int &val) const#
-
inline SymbolicVal GetVal(SymOpType op) const#
-
inline bool IsTop() const#
-
bool CombineWith(const SymbolicTerm &that)#
-
bool operator==(const SymbolicTerm &that) const#
-
bool operator==(const SymbolicVal &that) const#
Friends
- friend class SymbolicExpr
-
inline SymbolicTerm(int t1, int t2, const SymbolicVal &_v)#