spot
0.8.3
|
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 |
typedef formula*(* spot::ltl::random_ltl::op_proba::builder)(const random_ltl *rl, int n) |
void spot::ltl::random_ltl::op_proba::setup | ( | const char * | name, |
int | min_n, | ||
builder | build | ||
) |
const char* spot::ltl::random_ltl::op_proba::name |