|
spot 2.12.2
|
This is the complete list of members for spot::output_aborter, including all inherited members.
| max_edges() const (defined in spot::output_aborter) | spot::output_aborter | inline |
| max_states() const (defined in spot::output_aborter) | spot::output_aborter | inline |
| output_aborter(unsigned max_states, unsigned max_edges=~0U) (defined in spot::output_aborter) | spot::output_aborter | inline |
| print_reason(std::ostream &) const (defined in spot::output_aborter) | spot::output_aborter | |
| too_large(const const_twa_graph_ptr &aut) const (defined in spot::output_aborter) | spot::output_aborter | inline |
1.9.4