Method terminator

gecode/support/thread.hpp:193–193

Return terminator object

    bool todelete(void) const;
    /// Return terminator object
    virtual Terminator* terminator(void) const { return nullptr; }
    /// The function that is executed when the thread starts
    virtual void run(void) = 0;
    /// Destructor