Home
last modified time | relevance | path

Searched refs:NO_SOLVER (Results 1 – 10 of 10) sorted by relevance

/dports/security/klee/klee-2.2/lib/Solver/
H A DSolverCmdLine.cpp210 clEnumValN(NO_SOLVER, "none", "Do not crosscheck (default)") in HideOptions()
212 cl::init(NO_SOLVER), cl::cat(SolvingCat)); in HideOptions()
H A DCoreSolver.cpp53 case NO_SOLVER: in createCoreSolver()
H A DConstructSolverChain.cpp72 if (DebugCrossCheckCoreSolverWith != NO_SOLVER) { in constructSolverChain()
/dports/security/klee/klee-2.2/include/klee/Solver/
H A DSolverCmdLine.h62 NO_SOLVER enumerator
/dports/math/polymake/polymake-4.5/bundled/soplex/apps/polytope/src/
H A Dsoplex_interface.cc220 case soplex::SPxSolver::NO_SOLVER: in solve()
/dports/science/hypre/hypre-2.23.0/src/test/
H A Dstruct_newboxloop.c36 #define NO_SOLVER -9198 macro
299 solver_id = NO_SOLVER; in main()
H A Dstruct.c31 #define NO_SOLVER -9198 macro
366 solver_id = NO_SOLVER; in main()
1847 else if (solver_id != NO_SOLVER ) in main()
2080 else if (solver_id != NO_SOLVER ) in main()
H A Dtest_ij.c33 #define NO_SOLVER -9198 macro
306 solver_id = NO_SOLVER; in main()
398 precond_id = NO_SOLVER; in main()
2569 else if (solver_id != NO_SOLVER ) in main()
2953 else if (solver_id != NO_SOLVER ) in main()
H A Dsstruct.c26 #define NO_SOLVER -9198 macro
2610 solver_id = NO_SOLVER; in main()
4026 else if (solver_id != NO_SOLVER ) in main()
4207 else if (solver_id != NO_SOLVER ) in main()
H A Dij.c35 #define NO_SOLVER -9198 macro
599 solver_id = NO_SOLVER; in main()
4841 else if (solver_id != NO_SOLVER ) in main()
5229 else if (solver_id != NO_SOLVER ) in main()