Searched refs:d_reduce (Results 1 – 3 of 3) sorted by relevance
150 #define d_reduce *(double *)dest macro157 #define d_reduce d_dest macro451 case OP_SUM_DDN: VEC_ARG1(d_reduce += d1);458 case OP_PROD_DDN: VEC_ARG1(d_reduce *= d1);466 case OP_MIN_DDN: VEC_ARG1(d_reduce = fmin(d_reduce, d1));471 case OP_MAX_DDN: VEC_ARG1(d_reduce = fmax(d_reduce, d1));495 #undef d_reduce
47 d_reduce(u), in TheorySep()339 if( d_reduce.find( fact )==d_reduce.end() ){ in check()341 d_reduce.insert( fact ); in check()360 if( d_reduce.find( fact )==d_reduce.end() ){ in check()362 d_reduce.insert( fact ); in check()
216 NodeSet d_reduce; variable