Class ArrayDescriptor

• Defined in File ArrayAnnot.h

Inheritance Relationships

Base Types

• public ArrayShapeDescriptor (Class ArrayShapeDescriptor)

• public ArrayElemDescriptor (Class ArrayElemDescriptor)

Derived Types

• public ArrayDefineDescriptor (Class ArrayDefineDescriptor)

• public ArrayOptDescriptor (Class ArrayOptDescriptor)

Class Documentation

class ArrayDescriptor : public ArrayShapeDescriptor, public ArrayElemDescriptor

Subclassed by ArrayDefineDescriptor, ArrayOptDescriptor

Public Functions

void push_back(const ReadSymbolicFunctionDeclaration &cur)

bool read(std::istream &in)

void write(std::ostream &out) const

void Dump() const

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

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