mcrl2::lps::abortable Struct Reference

#include <explorer.h>

Inheritance diagram for mcrl2::lps::abortable:

Public Member Functions
virtual void	abort ()=0

Detailed Description

Definition at line 441 of file explorer.h.

Member Function Documentation

abort()

virtual void mcrl2::lps::abortable::abort ( )

pure virtual

Implemented in mcrl2::lps::explorer< Stochastic, Timed, Specification >, mcrl2::lps::explorer< false, false, lps::specification >, and mcrl2::lps::explorer< true, false, stochastic_specification >.

---

The documentation for this struct was generated from the following file:

• lps/include/mcrl2/lps/explorer.h