Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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

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

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

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

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


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 Mon Jan 31 12:56:14 2005 for spot by doxygen 1.4.0