Searched refs:resolvePropagationFullOrbitope (Results 1 – 1 of 1) sorted by relevance
1906 SCIP_RETCODE resolvePropagationFullOrbitope( in resolvePropagationFullOrbitope() function3367 … SCIP_CALL( resolvePropagationFullOrbitope(scip, conshdlr, cons, inferinfo, bdchgidx, result) ); in SCIP_DECL_CONSRESPROP()