Class SelectApplicator#
Defined in File SymbolicSelect.h
Inheritance Relationships#
Base Type#
public OPApplicator(Class OPApplicator)
Derived Type#
public SelectApplicatorWithBound(Class SelectApplicatorWithBound)
Class Documentation#
-
class SelectApplicator : public OPApplicator#
Subclassed by SelectApplicatorWithBound
Public Functions
-
inline SelectApplicator(int t)#
-
inline virtual ~SelectApplicator()#
-
inline virtual SymbolicExpr *CreateExpr()#
-
inline virtual bool MergeConstInt(int vu1, int vd1, int vu2, int vd2, int &r1, int &r2)#
-
inline virtual bool MergeElem(const SymbolicTerm &t1, const SymbolicTerm &t2, SymbolicTerm &result)#
Protected Functions
-
inline virtual CompareRel Compare(const SymbolicVal &v1, const SymbolicVal &v2)#
-
inline virtual bool IsTop(const SymbolicTerm &v)#
-
inline bool SelectMerge(const SymbolicVal &v1, const SymbolicVal &v2, SymbolicVal &result)#
-
inline SelectApplicator(int t)#