23 #ifndef SPOT_TGBAALGOS_RANDOMGRAPH_HH
24 # define SPOT_TGBAALGOS_RANDOMGRAPH_HH
26 #include "ltlvisit/apcollect.hh"
27 #include "ltlenv/defaultenv.hh"
84 int n_acc = 0,
float a = 0.1,
float t = 0.5,
88 #endif // SPOT_TGBAALGOS_RANDOMGRAPH_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API tgba * random_graph(int n, float d, const ltl::atomic_prop_set *ap, bdd_dict *dict, int n_acc=0, float a=0.1, float t=0.5, ltl::environment *env=<l::default_environment::instance())
Construct a tgba randomly.
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:41
static default_environment & instance()
Get the sole instance of spot::ltl::default_environment.