|
spot 2.13
|
This is the complete list of members for spot::random_ltl, including all inherited members.
| ap() const | spot::random_formula | inline |
| ap_ (defined in spot::random_formula) | spot::random_formula | protected |
| draw_literals() const | spot::random_formula | inline |
| draw_literals(bool lit) | spot::random_formula | inline |
| draw_literals_ (defined in spot::random_formula) | spot::random_formula | protected |
| dump_priorities(std::ostream &os) const | spot::random_formula | |
| generate(int n) const | spot::random_formula | |
| has_unary_ops() const | spot::random_formula | inline |
| is_output_ (defined in spot::random_formula) | spot::random_formula | protected |
| is_output_fun() const (defined in spot::random_formula) | spot::random_formula | inline |
| output_ap() const | spot::random_formula | inline |
| output_ap_ (defined in spot::random_formula) | spot::random_formula | protected |
| parse_options(char *options) | spot::random_formula | |
| patterns() const | spot::random_formula | inline |
| patterns_ (defined in spot::random_formula) | spot::random_formula | protected |
| proba_ (defined in spot::random_formula) | spot::random_formula | protected |
| proba_2_ (defined in spot::random_formula) | spot::random_formula | protected |
| proba_2_or_more_ (defined in spot::random_formula) | spot::random_formula | protected |
| proba_size_ (defined in spot::random_formula) | spot::random_formula | protected |
| random_formula(unsigned proba_size, const atomic_prop_set *ap, const atomic_prop_set *output_ap=nullptr, std::function< bool(formula)> is_output=nullptr) (defined in spot::random_formula) | spot::random_formula | inline |
| random_ltl(const atomic_prop_set *ap, const atomic_prop_set *output_ap=nullptr, std::function< bool(formula)> is_output=nullptr, const atomic_prop_set *subformulas=nullptr) | spot::random_ltl | |
| random_ltl(int size, const atomic_prop_set *ap, const atomic_prop_set *output_ap=nullptr, std::function< bool(formula)> is_output=nullptr) (defined in spot::random_ltl) | spot::random_ltl | protected |
| setup_proba_(const atomic_prop_set *patterns) (defined in spot::random_ltl) | spot::random_ltl | protected |
| total_1_ (defined in spot::random_formula) | spot::random_formula | protected |
| total_2_ (defined in spot::random_formula) | spot::random_formula | protected |
| total_2_and_more_ (defined in spot::random_formula) | spot::random_formula | protected |
| update_sums() (defined in spot::random_formula) | spot::random_formula | protected |
| ~random_formula() (defined in spot::random_formula) | spot::random_formula | inlinevirtual |
1.9.4