SymbolicValDescriptor::SymbolicValDescriptor

Constructors

Synopses

Declared in <src/midend/astUtil/annotation/AnnotExpr.h>

Default constructor

SymbolicValDescriptor();

Construct from int

SymbolicValDescriptor(int i);

Construct from SymbolicVal

SymbolicValDescriptor(SymbolicVal const& that);

SymbolicValDescriptor(
    SymbolicVal const& that,
    std::string varname);

Created with MrDocs