Class ExtendibleParamDescriptor#
Defined in File AnnotExpr.h
Inheritance Relationships#
Base Type#
private SelectPair< SymbolicValDescriptor, CollectPair< NameDescriptor, CollectPair< SymbolicValDescriptor, SymbolicValDescriptor, ':'>, ':'>, ':', 0 >(Template Struct SelectPair)
Class Documentation#
-
class ExtendibleParamDescriptor : private SelectPair<SymbolicValDescriptor, CollectPair<NameDescriptor, CollectPair<SymbolicValDescriptor, SymbolicValDescriptor, ':'>, ':'>, ':', 0>#
a parameter with a named range of values. parameter:range_name:lower_bound:upper_bound
Public Functions
-
inline ExtendibleParamDescriptor()#
-
inline ExtendibleParamDescriptor(const SymbolicValDescriptor &p)#
-
inline void write(std::ostream &out) const#
-
void Dump() const#
-
inline std::string toString() const#
-
bool read(std::istream &in)#
-
inline const SymbolicValDescriptor &get_param() const#
-
inline SymbolicValDescriptor &get_param()#
-
inline std::string get_param_name() const#
-
inline std::string get_extend_var() const#
Get the name for the range
-
bool get_extension(int &lb, int &ub) const#
Get the lower bound and upper bound of the parameter.
-
void replace_var(const std::string &varname, const SymbolicVal &val)#
-
void replace_val(MapObject<SymbolicVal, SymbolicVal> &repl)#
-
inline ExtendibleParamDescriptor()#