Searched refs:SIGINT_interrupt (Results 1 – 9 of 9) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | Main.cc | 55 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
154 signal(SIGINT, SIGINT_interrupt); in main()
155 signal(SIGXCPU,SIGINT_interrupt); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | Main.cc | 54 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
153 signal(SIGINT, SIGINT_interrupt); in main()
154 signal(SIGXCPU,SIGINT_interrupt); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/simp/ |
| H A D | Main.cc | 56 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
157 signal(SIGINT, SIGINT_interrupt); in main()
158 signal(SIGXCPU,SIGINT_interrupt); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/simp/ |
| H A D | Main.cc | 58 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
158 signal(SIGINT, SIGINT_interrupt); in main()
159 signal(SIGXCPU,SIGINT_interrupt); in main()
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | Main.cc | 38 static void SIGINT_interrupt(int) { solver->interrupt(); } in SIGINT_interrupt() function
110 sigTerm(SIGINT_interrupt); in main()
|
| /dports/math/minisat/minisat-2.2.1/minisat/simp/ |
| H A D | Main.cc | 38 static void SIGINT_interrupt(int) { solver->interrupt(); } in SIGINT_interrupt() function
113 sigTerm(SIGINT_interrupt); in main()
|
| /dports/math/glucose/glucose-syrup-4.1/simp/ |
| H A D | Main.cc | 99 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
227 signal(SIGINT, SIGINT_interrupt); in main()
228 signal(SIGXCPU,SIGINT_interrupt); in main()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | MainSimp.cpp | 45 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
|
| H A D | MainSat.cpp | 54 static void SIGINT_interrupt(int signum) { solver->interrupt(); } in SIGINT_interrupt() function
|