Class MapVarBound#
Defined in File SymbolicBound.h
Inheritance Relationships#
Base Types#
public MapObject< SymbolicVal, SymbolicBound >(Template Class MapObject)public SymbolicVisitor(Class SymbolicVisitor)
Class Documentation#
-
class MapVarBound : public MapObject<SymbolicVal, SymbolicBound>, public SymbolicVisitor#
Public Functions
-
inline void add(const SymbolicVar &var, const SymbolicBound &bound)#
-
inline virtual SymbolicBound operator()(const SymbolicVal &v)#
-
inline void add(const SymbolicVar &var, const SymbolicBound &bound)#