22#include <unordered_map>
23#include <spot/misc/common.hh>
24#include <spot/misc/trival.hh>
25#include <spot/graph/adjlist.hh>
48 : stop_asap_(stop_asap)
52 int new_state(
bool owner)
54 return reverse_.new_state(owner);
57 void set_name(
unsigned state,
const std::string& s)
59 names_.emplace(
state, s);
64 return reverse_.state_data(
state);
68 bool new_edge(
unsigned src,
unsigned dst);
72 bool freeze_state(
unsigned state);
74 bool is_frozen(
unsigned state)
const
76 return (*
this)[
state].frozen;
81 return (*
this)[
state].status;
84 bool set_status(
unsigned state,
bool status);
86 std::ostream& print_dot(std::ostream& os)
const;
88 unsigned num_edges()
const
90 return reverse_.num_edges();
96 std::unordered_map<unsigned, std::string> names_;
100 return reverse_.state_data(
state);
Abstract class for states.
Definition twa.hh:47
A class implementing Kleene's three-valued logic.
Definition trival.hh:33
Definition automata.hh:26
Definition backprop.hh:46
Definition backprop.hh:31