Searched refs:comparechildren (Results 1 – 1 of 1) sorted by relevance
4154 …SCIP_Bool comparechildren, /**< whether to compare expressions with already existin… in exprsimplifyAddChildren() argument4200 if( comparechildren ) in exprsimplifyAddChildren()4230 assert(comparechildren || expr->nchildren == orignchildren + nexprs); in exprsimplifyAddChildren()