spot::backprop_graph Class Reference

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:

• spot/twaalgos/backprop.hh