21 #include <spot/tl/apcollect.hh>
24 #include <unordered_set>
25 #include <spot/misc/optionmap.hh>
26 #include <spot/misc/hash.hh>
27 #include <spot/tl/simplify.hh>
38 proba_size_(proba_size), proba_(
new op_proba[proba_size_]), ap_(
ap)
85 void setup(
const char* name,
int min_n, builder build);
93 double total_2_and_more_;
294 typedef std::unordered_set<formula> fset_t;
298 enum output_type { Bool, LTL, SERE, PSL };
299 static constexpr
unsigned MAX_TRIALS = 100000U;
302 char* opt_pL =
nullptr,
303 char* opt_pS =
nullptr,
304 char* opt_pB =
nullptr);
307 char* opt_pL =
nullptr,
308 char* opt_pS =
nullptr,
309 char* opt_pB =
nullptr);
315 void dump_ltl_priorities(std::ostream& os);
316 void dump_bool_priorities(std::ostream& os);
317 void dump_psl_priorities(std::ostream& os);
318 void dump_sere_priorities(std::ostream& os);
319 void dump_sere_bool_priorities(std::ostream& os);
329 int opt_tree_size_min_;
330 int opt_tree_size_max_;
333 int opt_simpl_level_;
Manage a map of options.
Definition: optionmap.hh:34
Definition: randomltl.hh:293
Generate random Boolean formulae.
Definition: randomltl.hh:161
random_boolean(const atomic_prop_set *ap)
Generate random LTL formulae.
Definition: randomltl.hh:111
random_ltl(const atomic_prop_set *ap)
Generate random PSL formulae.
Definition: randomltl.hh:242
random_sere rs
The SERE generator used to generate SERE subformulae.
Definition: randomltl.hh:289
random_psl(const atomic_prop_set *ap)
Generate random SERE.
Definition: randomltl.hh:201
random_sere(const atomic_prop_set *ap)
Rewrite or simplify f in various ways.
Definition: simplify.hh:109
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:33
Definition: automata.hh:26