Home
last modified time | relevance | path

Searched refs:stopsolving (Results 1 – 5 of 5) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/tclique/
H A Dtclique_branch.c444 …TCLIQUE_Bool* stopsolving /**< pointer to store whether the solving should be stop… in newSolution() argument
456 assert(stopsolving != NULL); in newSolution()
460 *stopsolving = FALSE; in newSolution()
484 …edata, curcliquenodes, ncurcliquenodes, curcliqueweight, maxcliqueweight, &acceptsol, stopsolving); in newSolution()
968 TCLIQUE_Bool stopsolving; in branch() local
973 maxcliquenodes, nmaxcliquenodes, maxcliqueweight, &stopsolving); in branch()
975 if( stopsolving ) in branch()
H A Dtclique.h80 …WEIGHT cliqueweight, TCLIQUE_WEIGHT* minweight, TCLIQUE_Bool* acceptsol, TCLIQUE_Bool* stopsolving)
/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dsepa_clique.c752 assert(stopsolving != NULL); in TCLIQUE_NEWSOL()
763 *stopsolving = FALSE; in TCLIQUE_NEWSOL()
807 *stopsolving = TRUE; in TCLIQUE_NEWSOL()
816 *stopsolving = TRUE; in TCLIQUE_NEWSOL()
H A Dcons_sos1.c6609 assert( stopsolving != NULL ); in TCLIQUE_NEWSOL()
6614 *stopsolving = FALSE; in TCLIQUE_NEWSOL()
6727 *stopsolving = TRUE; in TCLIQUE_NEWSOL()
6731 *stopsolving = TRUE; in TCLIQUE_NEWSOL()
/dports/math/SCIP/scip-7.0.3/applications/Coloring/src/
H A Dpricer_coloring.c299 assert(stopsolving != NULL); in TCLIQUE_NEWSOL()
309 *stopsolving = FALSE; in TCLIQUE_NEWSOL()
330 *stopsolving = TRUE; in TCLIQUE_NEWSOL()