spot::random_formula::op_proba Struct Reference

Entry describing one operator and its probability for random formula generation. More...

#include <spot/tl/randomltl.hh>

Collaboration diagram for spot::random_formula::op_proba:

Public Types
typedef formula(*	builder) (const random_formula *rl, int n)
	Function pointer type for building a formula of this operator. More...

Public Member Functions
void	setup (const char *name, int min_n, builder build)
	Initialize the entry with name, min_n, and build. More...

Public Attributes
const char *	name
	Name of the operator. More...
int	min_n
	Minimum formula size needed for this operator. More...
double	proba
builder	build

Detailed Description

Entry describing one operator and its probability for random formula generation.

Member Typedef Documentation

builder

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

Function pointer type for building a formula of this operator.

Member Function Documentation

setup()

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

Initialize the entry with name, min_n, and build.

Member Data Documentation

build

builder spot::random_formula::op_proba::build

Builder function for this operator.

min_n

int spot::random_formula::op_proba::min_n

Minimum formula size needed for this operator.

name

const char* spot::random_formula::op_proba::name

Name of the operator.

proba

double spot::random_formula::op_proba::proba

Cumulative probability weight.

---

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

• spot/tl/randomltl.hh