spot  2.10.6
Public Member Functions | List of all members
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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1