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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Jul 17 15:15:08 2007 for spot by doxygen 1.5.2