spot::randltlgenerator Class Reference

Collaboration diagram for spot::randltlgenerator:

Public Types
enum	output_type { Bool , LTL , SERE , PSL }

Public Member Functions
	randltlgenerator (int aprops_n, const option_map &opts, char *opt_pL=nullptr, char *opt_pS=nullptr, char *opt_pB=nullptr, const atomic_prop_set *subformulas=nullptr, std::function< bool(formula)> is_output=nullptr)
	randltlgenerator (atomic_prop_set aprops, const option_map &opts, char *opt_pL=nullptr, char *opt_pS=nullptr, char *opt_pB=nullptr, const atomic_prop_set *subformulas=nullptr, std::function< bool(formula)> is_output=nullptr)
formula	next ()
void	dump_ltl_priorities (std::ostream &os)
void	dump_bool_priorities (std::ostream &os)
void	dump_psl_priorities (std::ostream &os)
void	dump_sere_priorities (std::ostream &os)
void	dump_sere_bool_priorities (std::ostream &os)
void	remove_some_props (atomic_prop_set &s)
formula	GF_n ()

Static Public Attributes
static constexpr unsigned	MAX_TRIALS = 100000U

---

The documentation for this class was generated from the following file:

• spot/tl/randomltl.hh