22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 24 #include <spot/twa/bdddict.hh> 54 AUT_KS_NCA = AUT_BEGIN,
124 SPOT_API twa_graph_ptr
125 aut_pattern(aut_pattern_id pattern,
int n,
126 spot::bdd_dict_ptr dict = make_bdd_dict());
132 SPOT_API
const char* aut_pattern_name(aut_pattern_id pattern);
Definition: automata.hh:26