22 #include <spot/twa/twagraph.hh>
30 struct synthesis_info;
103 SPOT_API twa_graph_ptr
118 SPOT_API twa_graph_ptr
136 SPOT_API twa_graph_ptr
138 bool output_assignment =
true);
142 bool output_assignment =
true);
159 SPOT_API twa_graph_ptr
179 SPOT_API twa_graph_ptr
193 const_twa_graph_ptr right,
194 bool verbose =
false);
202 SPOT_API twa_graph_ptr
204 const const_twa_graph_ptr& right);
bool is_split_mealy(const const_twa_graph_ptr &m)
Checks whether or not the automaton is a split mealy machine.
twa_graph_ptr minimize_mealy(const const_twa_graph_ptr &mm, int premin=-1)
Minimizes an (in)completely specified mealy machine.
twa_graph_ptr mealy_product(const const_twa_graph_ptr &left, const const_twa_graph_ptr &right)
Product between two mealy machines left and right.
bool is_split_mealy_specialization(const_twa_graph_ptr left, const_twa_graph_ptr right, bool verbose=false)
Test if the split mealy machine right is a specialization of the split mealy machine left.
bool is_mealy(const const_twa_graph_ptr &m)
Checks whether the automaton is a mealy machine.
bool is_separated_mealy(const const_twa_graph_ptr &m)
Checks whether the automaton is a separated mealy machine.
void simplify_mealy_here(twa_graph_ptr &m, int minimize_lvl, bool split_out)
Convenience function to call minimize_mealy or reduce_mealy. Uses the same convention as ltlsynt for ...
twa_graph_ptr split_separated_mealy(const const_twa_graph_ptr &m)
split a separated mealy machine
twa_graph_ptr reduce_mealy(const const_twa_graph_ptr &mm, bool output_assignment=true)
reduce an (in)completely specified mealy machine
void split_separated_mealy_here(const twa_graph_ptr &m)
split a separated mealy machine
void reduce_mealy_here(twa_graph_ptr &mm, bool output_assignment=true)
reduce an (in)completely specified mealy machine
twa_graph_ptr unsplit_mealy(const const_twa_graph_ptr &m)
the inverse of split_separated_mealy
Definition: automata.hh:27
bool is_input_deterministic_mealy(const const_twa_graph_ptr &m)
Checks whether a mealy machine is input deterministic.
Benchmarking data and options for synthesis.
Definition: synthesis.hh:81