spot
2.11.6
|
Enumerations | |
enum | spot::gen::aut_pattern_id { AUT_BEGIN = 256 , spot::gen::AUT_KS_NCA = AUT_BEGIN , spot::gen::AUT_L_NBA , spot::gen::AUT_L_DSA , spot::gen::AUT_M_NBA , spot::gen::AUT_CYCLIST_TRACE_NBA , spot::gen::AUT_CYCLIST_PROOF_DBA , AUT_END } |
Identifiers for automaton patterns. More... | |
Functions | |
twa_graph_ptr | spot::gen::aut_pattern (aut_pattern_id pattern, int n, spot::bdd_dict_ptr dict=make_bdd_dict()) |
generate an automaton from a known pattern More... | |
const char * | spot::gen::aut_pattern_name (aut_pattern_id pattern) |
convert an aut_pattern_it value into a name More... | |
#include <spot/gen/automata.hh>
Identifiers for automaton patterns.
twa_graph_ptr spot::gen::aut_pattern | ( | aut_pattern_id | pattern, |
int | n, | ||
spot::bdd_dict_ptr | dict = make_bdd_dict() |
||
) |
#include <spot/gen/automata.hh>
generate an automaton from a known pattern
The pattern is specified using one value from the aut_pattern_id enum. See the man page of the genaut
binary for a description of those patterns, and bibliographic references.
In case you want to combine this automaton with other automata, pass the bdd_dict to use to make sure that all share the same.
const char* spot::gen::aut_pattern_name | ( | aut_pattern_id | pattern | ) |
#include <spot/gen/automata.hh>
convert an aut_pattern_it value into a name
The returned name is suitable to be used as an option key for the genaut binary.