SymbolicNot::SymbolicNot

Default constructor

Synopsis

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

SymbolicNot();

Created with MrDocs