22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 24 #include <spot/twa/bdddict.hh> 94 SPOT_API twa_graph_ptr
96 spot::bdd_dict_ptr dict = make_bdd_dict());
Definition: automata.hh:26
aut_pattern_id
Identifiers for automaton patterns.
Definition: automata.hh:36
An NBA with (n+1) states whose complement needs ≥n! states.
Definition: automata.hh:81
A family of co-Büchi automata.
Definition: automata.hh:46
Hard-to-complement non-deterministic Büchi automata.
Definition: automata.hh:58
DSA hard to convert to DRA.
Definition: automata.hh:70
twa_graph_ptr aut_pattern(aut_pattern_id pattern, int n, spot::bdd_dict_ptr dict=make_bdd_dict())
generate an automaton from a known pattern
const char * aut_pattern_name(aut_pattern_id pattern)
convert an aut_pattern_it value into a name