25 #include <spot/tl/apcollect.hh>
28 #include <unordered_set>
29 #include <spot/misc/optionmap.hh>
30 #include <spot/misc/hash.hh>
31 #include <spot/tl/simplify.hh>
37 #define MAX_TRIALS 100000
48 proba_size_(proba_size), proba_(
new op_proba[proba_size_]), ap_(ap)
74 std::ostream& dump_priorities(std::ostream& os)
const;
83 const char* parse_options(
char* options);
95 void setup(
const char* name,
int min_n, builder build);
103 double total_2_and_more_;
304 typedef std::unordered_set<formula> fset_t;
309 char* opt_pL =
nullptr,
310 char* opt_pS =
nullptr,
311 char* opt_pB =
nullptr);
314 char* opt_pL =
nullptr,
315 char* opt_pS =
nullptr,
316 char* opt_pB =
nullptr);
322 void dump_ltl_priorities(std::ostream& os);
323 void dump_bool_priorities(std::ostream& os);
324 void dump_psl_priorities(std::ostream& os);
325 void dump_sere_priorities(std::ostream& os);
326 void dump_sere_bool_priorities(std::ostream& os);
336 int opt_tree_size_min_;
337 int opt_tree_size_max_;
340 int opt_simpl_level_;
random_sere rs
The SERE generator used to generate SERE subformulae.
Definition: randomltl.hh:299
Manage a map of options.
Definition: optionmap.hh:36
Definition: randomltl.hh:302
Generate random Boolean formulae.
Definition: randomltl.hh:170
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:36
Generate random LTL formulae.
Definition: randomltl.hh:120
Generate random SERE.
Definition: randomltl.hh:210
Rewrite or simplify f in various ways.
Definition: simplify.hh:97
Generate random PSL formulae.
Definition: randomltl.hh:251