UnwrapVarCond

Synopsis

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

SymbolicVal
UnwrapVarCond(
    SymbolicCond const& valCond,
    SymbolicVar const& pivot,
    SymbolicBound& pivotBound);

Created with MrDocs