Searched refs:found_solution (Results 1 – 11 of 11) sorted by relevance
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | walksat.cpp | 95 while (!found_solution && numtry < solver->conf.walksat_max_runs) { 101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) { 624 found_solution = true; 661 if (found_solution) { 695 if (!found_solution) { 701 if (found_solution || solver->conf.sls_get_phase) { 705 } else if (found_solution) {
|
H A D | walksat.h | 163 bool found_solution = false; /* total found solutions */ variable
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | walksat.cpp | 95 while (!found_solution && numtry < solver->conf.walksat_max_runs) { in main() 101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) { in main() 624 found_solution = true; in update_and_print_statistics_end_try() 661 if (found_solution) { in print_statistics_final() 695 if (!found_solution) { in print_statistics_final() 701 if (found_solution || solver->conf.sls_get_phase) { in print_statistics_final() 705 } else if (found_solution) { in print_statistics_final()
|
H A D | walksat.h | 163 bool found_solution = false; /* total found solutions */ variable
|
/dports/www/rt44/rt-4.4.5/share/html/Search/ |
H A D | Chart | 332 my $found_solution = $fitter->( 365 if ( $found_solution ) { 366 $chart_options{'x_axis_font'} = [$font, $found_solution]; 430 my $found_solution = $fitter->( 467 if ( $found_solution ) { 468 $chart_options{'values_font'} = [ $font, $found_solution ],
|
/dports/www/rt50/rt-5.0.2/share/html/Search/ |
H A D | Chart | 332 my $found_solution = $fitter->( 365 if ( $found_solution ) { 366 $chart_options{'x_axis_font'} = [$font, $found_solution]; 430 my $found_solution = $fitter->( 467 if ( $found_solution ) { 468 $chart_options{'values_font'} = [ $font, $found_solution ],
|
/dports/math/z3/z3-z3-4.8.13/src/tactic/ |
H A D | tactical.cpp | 567 bool found_solution = false; in operator ()() local 588 if (!failed && !found_solution) { in operator ()() 599 if (!failed && !found_solution) { in operator ()() 610 if (!failed && !found_solution) { in operator ()() 634 if (!found_solution) { in operator ()() 636 found_solution = true; in operator ()() 695 if (found_solution) in operator ()()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/ |
H A D | tactical.cpp | 578 bool found_solution = false; 599 if (!failed && !found_solution) { 610 if (!failed && !found_solution) { 621 if (!failed && !found_solution) { 645 if (!found_solution) { 647 found_solution = true; 706 if (found_solution)
|
/dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/src/ |
H A D | qs_scf.F | 1388 LOGICAL :: continue_ls, continue_ls_exit, converged, do_linesearch, found_solution, & local 1470 found_solution = .FALSE. 1545 IF (found_solution) THEN 1556 found_solution = .TRUE. 1609 (i == max_linesearch .AND. converged .AND. .NOT. found_solution)) THEN
|
/dports/science/cp2k-data/cp2k-7.1.0/src/ |
H A D | qs_scf.F | 1354 LOGICAL :: continue_ls, continue_ls_exit, converged, do_linesearch, found_solution, & local 1436 found_solution = .FALSE. 1511 IF (found_solution) THEN 1522 found_solution = .TRUE. 1575 (i == max_linesearch .AND. converged .AND. .NOT. found_solution)) THEN
|
/dports/lang/gambit-c/gambit-4.9.3/bench/src/ |
H A D | nucleic.c | 2804 void found_solution() in found_solution() function 3067 case 17: found_solution(); in anticodon_domains() 3121 case 23: found_solution(); in pseudoknot_domains()
|