VarInfo::VarInfo

Constructors

Synopses

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

Default constructor

VarInfo();

VarInfo(
    SymbolicVar const& _var,
    SymbolicBound const& _b);

VarInfo(
    SymbolicVar const& _var,
    SymbolicVal const& _lb,
    SymbolicVal const& _ub);

Created with MrDocs