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