spot
0.9.1
|
ap() const | spot::ltl::random_formula | [inline] |
ap_ | spot::ltl::random_formula | [protected] |
dump_priorities(std::ostream &os) const | spot::ltl::random_formula | |
generate(int n) const | spot::ltl::random_formula | |
parse_options(char *options) | spot::ltl::random_formula | |
proba_ | spot::ltl::random_formula | [protected] |
proba_2_ | spot::ltl::random_formula | [protected] |
proba_2_or_more_ | spot::ltl::random_formula | [protected] |
proba_size_ | spot::ltl::random_formula | [protected] |
random_formula(unsigned proba_size, const atomic_prop_set *ap) | spot::ltl::random_formula | [inline] |
total_1_ | spot::ltl::random_formula | [protected] |
total_2_ | spot::ltl::random_formula | [protected] |
total_2_and_more_ | spot::ltl::random_formula | [protected] |
update_sums() | spot::ltl::random_formula | [protected] |
~random_formula() | spot::ltl::random_formula | [inline, virtual] |