SymbolicCond::SymbolicCond

Constructors

Synopses

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

Default constructor

SymbolicCond();

Copy constructor

SymbolicCond(SymbolicCond const& that);

SymbolicCond(
    CompareRel const _t,
    SymbolicVal const& _val1,
    SymbolicVal const& _val2);

Created with MrDocs