- Checker* getChecker() const { return checker_; }
- void setChecker(Checker* checker) { checker_ = checker; }
+ unsigned long get_visited_states() const { return visited_states_; }
+ void inc_visited_states() { visited_states_++; }
+
+ void dot_output(const char* fmt, ...) XBT_ATTRIB_PRINTF(2, 3);
+ void dot_output_flush()
+ {
+ if (dot_output_ != nullptr)
+ fflush(dot_output_);
+ }
+ void dot_output_close()
+ {
+ if (dot_output_ != nullptr)
+ fclose(dot_output_);
+ }