spot  2.4.4
Public Member Functions | List of all members
spot::randltlgenerator Class Reference
Collaboration diagram for spot::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)
 
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 ()
 

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 Mon Dec 25 2017 14:51:15 for spot by doxygen 1.8.13