spot 2.13.0.dev
|
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 |
freeze_state(unsigned state) (defined in spot::backprop_graph) | spot::backprop_graph | |
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 |
operator[](unsigned state) 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_status(unsigned state, bool status) (defined in spot::backprop_graph) | spot::backprop_graph | |
status_of(unsigned state) const (defined in spot::backprop_graph) | spot::backprop_graph | inline |