Main Page
|
Modules
|
Namespace List
|
Class Hierarchy
|
Class List
|
Directories
|
File List
|
Namespace Members
|
Class Members
|
File Members
spot
::
ltl
::
random_ltl
::
op_proba
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:
ltlvisit/
randomltl.hh
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
1.4.0