Class SelectApplicatorWithBound#
Defined in File SymbolicSelect.h
Inheritance Relationships#
Base Type#
public SelectApplicator(Class SelectApplicator)
Class Documentation#
-
class SelectApplicatorWithBound : public SelectApplicator#
Public Functions
-
inline SelectApplicatorWithBound(MapObject<SymbolicVal, SymbolicBound> &f, int t)#
Protected Functions
-
bool GetLB(const SymbolicVal &v, int &result)#
-
bool GetUB(const SymbolicVal &v, int &result)#
-
inline virtual CompareRel Compare(const SymbolicVal &v1, const SymbolicVal &v2)#
-
inline SelectApplicatorWithBound(MapObject<SymbolicVal, SymbolicBound> &f, int t)#