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)
	Construct with max states and max edges limits. More...
unsigned	max_states () const
	Return the maximum number of states allowed. More...
unsigned	max_edges () const
	Return the maximum number of edges allowed. More...
bool	too_large (const const_twa_graph_ptr &aut) const
	Check if the automaton exceeds the size limits. More...
std::ostream &	print_reason (std::ostream &) const
	Print the reason why the construction was aborted. More...

Detailed Description

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

Constructor & Destructor Documentation

output_aborter()

spot::output_aborter::output_aborter ( unsigned  max_states, unsigned  max_edges = ~0U  )

inline

Construct with max states and max edges limits.

Member Function Documentation

max_edges()

unsigned spot::output_aborter::max_edges ( ) const

inline

Return the maximum number of edges allowed.

max_states()

unsigned spot::output_aborter::max_states ( ) const

inline

Return the maximum number of states allowed.

print_reason()

std::ostream& spot::output_aborter::print_reason

(

std::ostream &

)

const

Print the reason why the construction was aborted.

too_large()

bool spot::output_aborter::too_large ( const const_twa_graph_ptr &  aut ) const

inline

Check if the automaton exceeds the size limits.

---

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

• spot/twaalgos/powerset.hh