Class SymbolicOperands#
Defined in File SymbolicExpr.h
Class Documentation#
-
class SymbolicOperands#
Public Types
-
typedef LatticeElemList<SymbolicTerm>::iterator OpdIterator#
Public Functions
-
inline SymbolicOperands()#
-
inline SymbolicOperands(const SymbolicOperands &that)#
-
void AddOpd(const SymbolicTerm &v, OPApplicator *op = 0)#
-
inline unsigned NumOfOpds() const#
-
inline OpdIterator GetOpdIterator() const#
-
inline SymbolicTerm &First() const#
-
std::string toString() const#
-
inline SymbolicOperands *Clone() const#
-
typedef LatticeElemList<SymbolicTerm>::iterator OpdIterator#