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

Collaboration diagram for spot::ltl::random_ltl::op_proba:
Collaboration graph
[legend]

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


Member Function Documentation

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

Member Data Documentation


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 Fri Apr 16 09:44:13 2010 for spot by doxygen 1.6.3