spot 2.14
Classes | Public Member Functions | List of all members
spot::backprop_graph Class Referencefinal
Collaboration diagram for spot::backprop_graph:

Public Member Functions

 backprop_graph (bool stop_asap=true)
 
int new_state (bool owner)
 
void set_name (unsigned state, const std::string &s)
 
bool new_edge (unsigned src, unsigned dst)
 
bool freeze_state (unsigned state)
 
bool is_frozen (unsigned state) const
 
bool is_determined (unsigned state) const
 
bool winner (unsigned state) const
 
unsigned choice (unsigned state) const
 
bool set_winner (unsigned state, bool winner)
 
std::ostream & print_dot (std::ostream &os) const
 
unsigned num_edges () const
 

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.4