Helper object to specify when an algorithm should abort its construction. More...

Collaboration diagram for spot::output_aborter:

Public Member Functions
	output_aborter (unsigned max_states, unsigned max_edges=~0U)

unsigned	max_states () const

unsigned	max_edges () const

bool	too_large (const const_twa_graph_ptr &aut) const

std::ostream &	print_reason (std::ostream &) const

Detailed Description

Helper object to specify when an algorithm should abort its construction.

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

Public Member Functions