SymbolicPlus::SymbolicPlus

Default constructor

Synopsis

Declared in <src/midend/astUtil/symbolicVal/SymbolicPlus.h>

SymbolicPlus();

Created with MrDocs