Class PlusApplicator#
Defined in File SymbolicPlus.h
Inheritance Relationships#
Base Type#
public OPApplicator(Class OPApplicator)
Class Documentation#
-
class PlusApplicator : public OPApplicator#
Public Functions
-
inline virtual bool MergeConstInt(int vu1, int vd1, int vu2, int vd2, int &r1, int &r2)#
-
inline virtual SymbolicExpr *CreateExpr()#
-
inline virtual bool IsTop(const SymbolicTerm &t)#
-
inline virtual bool MergeElem(const SymbolicTerm &t1, const SymbolicTerm &t2, SymbolicTerm &result)#
-
inline virtual bool MergeConstInt(int vu1, int vd1, int vu2, int vd2, int &r1, int &r2)#