spot::output_aborter Class Reference

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

#include <spot/twaalgos/powerset.hh>

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:

• spot/twaalgos/powerset.hh