This is the complete list of members for spot::backprop_graph, including all inherited members.

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