spot::random_boolean Member List

This is the complete list of members for spot::random_boolean, including all inherited members.

ap() const	spot::random_formula	inline
ap_	spot::random_formula	protected
draw_literals() const	spot::random_formula	inline
draw_literals(bool lit)	spot::random_formula	inline
draw_literals_	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_	spot::random_formula	protected
is_output_fun() const	spot::random_formula	inline
output_ap() const	spot::random_formula	inline
output_ap_	spot::random_formula	protected
parse_options(const char *options)	spot::random_formula
patterns() const	spot::random_formula	inline
patterns_	spot::random_formula	protected
proba_	spot::random_formula	protected
proba_2_	spot::random_formula	protected
proba_2_or_more_	spot::random_formula	protected
proba_size_	spot::random_formula	protected
random_boolean(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_boolean
random_formula(unsigned proba_size, const atomic_prop_set *ap, const atomic_prop_set *output_ap=nullptr, std::function< bool(formula)> is_output=nullptr)	spot::random_formula	inline
total_1_	spot::random_formula	protected
total_2_	spot::random_formula	protected
total_2_and_more_	spot::random_formula	protected
update_sums()	spot::random_formula	protected
~random_formula() (defined in spot::random_formula)	spot::random_formula	inlinevirtual