Class SymbolicFunctionDeclaration#
Defined in File AnnotExpr.h
Inheritance Relationships#
Base Type#
private CollectPair< SymbolicParamListDescriptor, SymbolicValDescriptor,':'>(Template Struct CollectPair)
Class Documentation#
-
class SymbolicFunctionDeclaration : private CollectPair<SymbolicParamListDescriptor, SymbolicValDescriptor, ':'>#
A symbolic function declaration with.
Public Functions
-
inline SymbolicFunctionDeclaration(const SymbolicParamListDescriptor &par, const SymbolicValDescriptor &val)#
-
inline SymbolicFunctionDeclaration(const ExtendibleParamDescriptor &par, const SymbolicValDescriptor &val)#
-
inline void write(std::ostream &out) const#
-
void Dump() const#
-
inline std::string toString() const#
-
bool get_val(const std::vector<SymbolicVal> &args, SymbolicVal &r) const#
-
void replace_var(const std::string &varname, const SymbolicVal &val)#
-
void replace_val(MapObject<SymbolicVal, SymbolicVal> &repl)#
-
inline SymbolicFunctionDeclaration(const SymbolicParamListDescriptor &par, const SymbolicValDescriptor &val)#