This is the complete list of members for spot::output_aborter, including all inherited members.

max_edges() const	spot::output_aborter	inline
max_states() const	spot::output_aborter	inline
output_aborter(unsigned max_states, unsigned max_edges=~0U)	spot::output_aborter	inline
print_reason(std::ostream &) const	spot::output_aborter
too_large(const const_twa_graph_ptr &aut) const	spot::output_aborter	inline