spot::random_formula::op_proba Struct Reference

Collaboration diagram for spot::random_formula::op_proba:

Public Types
typedef formula(*	builder) (const random_formula *rl, int n)

Public Member Functions
void	setup (const char *name, int min_n, builder build)

Public Attributes
const char *	name
int	min_n
double	proba
builder	build

---

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

• spot/tl/randomltl.hh