Class OPApplicator#
Defined in File SymbolicExpr.h
Inheritance Relationships#
Derived Types#
public MultiplyApplicator(Class MultiplyApplicator)public PlusApplicator(Class PlusApplicator)public SelectApplicator(Class SelectApplicator)
Class Documentation#
-
class OPApplicator#
Subclassed by MultiplyApplicator, PlusApplicator, SelectApplicator
Public Functions
-
inline virtual ~OPApplicator()#
-
virtual SymbolicExpr *CreateExpr() = 0#
-
virtual bool MergeConstInt(int vu1, int vd1, int vu2, int vd2, int &r1, int &r2) = 0#
-
inline virtual bool IsTop(const SymbolicTerm &v)#
-
inline virtual bool MergeElem(const SymbolicTerm &t1, const SymbolicTerm &t2, SymbolicTerm &result)#
-
inline virtual ~OPApplicator()#