dReal4
interrupt.h
1 #pragma once
2 
3 #include <atomic>
4 
5 namespace dreal {
6 /// Flag to indicate an interrupt (SIGINT) is received.
7 extern volatile std::atomic_bool g_interrupted;
8 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9
dreal::g_interrupted
volatile std::atomic_bool g_interrupted
Flag to indicate an interrupt (SIGINT) is received.
Definition: interrupt.cc:4