Class SymbolicExtendVar#
Defined in File AnnotExpr.h
Inheritance Relationships#
Base Type#
public SymbolicFunction(Class SymbolicFunction)
Class Documentation#
-
class SymbolicExtendVar : public SymbolicFunction#
Public Functions
-
inline SymbolicExtendVar(const Arguments &v)#
-
inline SymbolicExtendVar(const std::string &varname, int index)#
-
inline SymbolicExtendVar(const SymbolicExtendVar &that)#
-
virtual AstNodePtr CodeGen(AstInterface &fa) const#
Public Static Functions
-
static std::string get_varname(std::string var, int index)#
-
inline SymbolicExtendVar(const Arguments &v)#