SymbolicAnd::SymbolicAnd

Copy constructor

Synopsis

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

SymbolicAnd(SymbolicAnd const& that);

Parameters

Name	Description
that	The object to copy construct from

Created with MrDocs