spot
1.2.1a
|
Public Member Functions | |
fake_ec (int thread_number) | |
A constuctor. More... | |
virtual bool | has_counterexample () |
virtual std::string | csv () |
virtual std::chrono::milliseconds::rep | get_elapsed_time () |
virtual int | nb_inserted () |
virtual bool | check () |
Launch the emptiness check. More... | |
|
inline |
A constuctor.
|
inlinevirtual |
Launch the emptiness check.
Implements spot::ec.