VarInfo::VarInfo

Synopsis

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

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

Created with MrDocs