SymbolicValDescriptor

SymbolicVal with I/O interface

Synopsis

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

class SymbolicValDescriptor;

Member Functions

Name	Description
SymbolicValDescriptor [constructor]	Constructors
operator=
Dump
find
get_val
is_bottom
is_top
merge
read
replace_val
replace_var
toString
write
operator SymbolicVal	Conversion to SymbolicVal

Static Member Functions

Name

get_bottom

get_top

Private Member Functions

Name

set_val

Private Data Members

Name

val

varname_

Created with MrDocs