Class SymbolicValDescriptor

• Defined in File AnnotExpr.h

Inheritance Relationships

Derived Type

• public CloseDescriptor< SymbolicValDescriptor, '{', '}'> (Template Class CloseDescriptor)

Class Documentation

class SymbolicValDescriptor

SymbolicVal with I/O interface.

Subclassed by CloseDescriptor< SymbolicValDescriptor, ‘{’, ‘}’>

Public Functions

inline SymbolicValDescriptor(int i)

inline SymbolicValDescriptor(const SymbolicVal &that)

inline SymbolicValDescriptor()

inline void operator=(const SymbolicVal &that)

bool read(std::istream &in)

inline operator SymbolicVal() const

inline SymbolicVal get_val() const

inline SymbolicVal &get_val()

void write(std::ostream &out) const

void Dump() const

inline std::string toString() const

bool is_top() const

bool is_bottom() const

bool merge(const SymbolicValDescriptor &that)

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

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

bool find(const SymbolicVal &v)

Public Static Functions

static SymbolicConst get_bottom()

static SymbolicConst get_top()