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
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