spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | List of all members
spot::ltl::randltlgenerator Class Reference
Collaboration diagram for spot::ltl::randltlgenerator:
Collaboration graph

Public Member Functions

 randltlgenerator (int aprops_n, const option_map &opts, char *opt_pL=nullptr, char *opt_pS=nullptr, char *opt_pB=nullptr)
 
 randltlgenerator (atomic_prop_set aprops, const option_map &opts, char *opt_pL=nullptr, char *opt_pS=nullptr, char *opt_pB=nullptr)
 
const spot::ltl::formulanext ()
 
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)
 
const formulaGF_n ()
 

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:38 for spot by doxygen 1.8.8