Class SymbolicFunctionDeclarationGroup

• Defined in File AnnotExpr.h

Inheritance Relationships

Base Type

• public ContainerDescriptor< std::list< SymbolicFunctionDeclaration >, SymbolicFunctionDeclaration, ',', '(', ')'> (Template Class ContainerDescriptor)

Class Documentation

class SymbolicFunctionDeclarationGroup : public ContainerDescriptor<std::list<SymbolicFunctionDeclaration>, SymbolicFunctionDeclaration, ',', '(', ')'>

A list of symbolic function declarations, separated by ‘,’, enclosed in ‘(..)’.

Public Functions

bool get_val(const std::vector<SymbolicVal> &argList, SymbolicVal &r) const

bool get_val(AstInterface &fa, const AstInterface::AstNodeList &argList, AstNodePtr &r) const

void replace_var(const std::string &varname, const SymbolicVal &val)

void replace_val(MapObject<SymbolicVal, SymbolicVal> &repl)

void Dump() const