23 #ifndef SPOT_LTLVISIT_RANDOMLTL_HH
24 # define SPOT_LTLVISIT_RANDOMLTL_HH
26 #include "apcollect.hh"
41 proba_size_(proba_size), proba_(
new op_proba[proba_size_]), ap_(ap)
63 const formula* generate(
int n)
const;
67 std::ostream& dump_priorities(std::ostream& os)
const;
76 const char* parse_options(
char* options);
88 void setup(
const char* name,
int min_n, builder build);
96 double total_2_and_more_;
301 #endif // SPOT_LTLVIST_RANDOMLTL_HH
Generate random LTL formulae.
Definition: randomltl.hh:113
Generate random SERE.
Definition: randomltl.hh:203
Generate random PSL formulae.
Definition: randomltl.hh:244
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:41
Generate random Boolean formulae.
Definition: randomltl.hh:163
random_sere rs
The SERE generator used to generate SERE subformulae.
Definition: randomltl.hh:292