25 #include "apcollect.hh"
28 #include <unordered_set>
29 #include "misc/optionmap.hh"
30 #include "misc/hash.hh"
31 #include "simplify.hh"
37 #define MAX_TRIALS 100000
51 proba_size_(proba_size), proba_(
new op_proba[proba_size_]), ap_(ap)
73 const formula* generate(
int n)
const;
77 std::ostream& dump_priorities(std::ostream& os)
const;
86 const char* parse_options(
char* options);
98 void setup(
const char* name,
int min_n, builder build);
100 unsigned proba_size_;
106 double total_2_and_more_;
314 char* opt_pL =
nullptr,
315 char* opt_pS =
nullptr,
316 char* opt_pB =
nullptr);
319 char* opt_pL =
nullptr,
320 char* opt_pS =
nullptr,
321 char* opt_pB =
nullptr);
325 const spot::ltl::formula* next();
327 void dump_ltl_priorities(std::ostream& os);
328 void dump_bool_priorities(std::ostream& os);
329 void dump_psl_priorities(std::ostream& os);
330 void dump_sere_priorities(std::ostream& os);
331 void dump_sere_bool_priorities(std::ostream& os);
341 int opt_tree_size_min_;
342 int opt_tree_size_max_;
345 int opt_simpl_level_;
Manage a map of options.
Definition: optionmap.hh:36
Definition: randomltl.hh:305
A hash function for pointers.
Definition: hash.hh:39
Generate random LTL formulae.
Definition: randomltl.hh:123
Rewrite or simplify f in various ways.
Definition: simplify.hh:99
Generate random SERE.
Definition: randomltl.hh:213
Generate random PSL formulae.
Definition: randomltl.hh:254
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:39
Generate random Boolean formulae.
Definition: randomltl.hh:173
random_sere rs
The SERE generator used to generate SERE subformulae.
Definition: randomltl.hh:302