SymbolicBound::operator‐

Subtraction operator

Synopsis

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

SymbolicBound
operator‐(SymbolicVal const& v) const;

Return Value

Another instance of the object

Parameters

Name	Description
v	The right operand

Created with MrDocs