Operator for which this variable is the result, NumRes(op) > 0.
NumRes(op)
Definition at line 188 of file optimize.hpp.
Referenced by optimize(), and optimize_record_csum().