spot::ltl::random_ltl::op_proba Struct Reference

List of all members.

Public Types
typedef formula *(*)	builder (const random_ltl *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

---

Member Typedef Documentation

typedef formula*(*) spot::ltl::random_ltl::op_proba::builder(const random_ltl *rl, int n)

---

Member Function Documentation

void spot::ltl::random_ltl::op_proba::setup	(	const char *	name,
		int	min_n,
		builder	build
	)

---

Member Data Documentation

const char* spot::ltl::random_ltl::op_proba::name

int spot::ltl::random_ltl::op_proba::min_n

double spot::ltl::random_ltl::op_proba::proba

builder spot::ltl::random_ltl::op_proba::build

---

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

• ltlvisit/randomltl.hh

---

Please comment this page and report errors about it on the RefDocComments page.