Class MultiplyApplicator#
Defined in File SymbolicMultiply.h
Inheritance Relationships#
Base Type#
public OPApplicator(Class OPApplicator)
Class Documentation#
-
class MultiplyApplicator : 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)#