STAMINA/STORM
0.1
Infinite state-space truncator which generates a probability within a window
stamina
core
Options
stamina::core::Options Member List
This is the complete list of members for
stamina::core::Options
, including all inherited members.
approx_factor
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
checkOptions
()
stamina::core::Options
static
consts
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
cudd_max_mem
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
export_filename
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
export_perimeter_states
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
export_trans
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
import_filename
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
kappa
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
max_approx_count
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
max_iterations
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
max_states
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
method
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
model_file
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
no_prop_refine
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
prob_win
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
properties_file
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
property
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
rank_transitions
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
reduce_kappa
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
setArgs
(struct arguments *arguments)
stamina::core::Options
static
threads
(defined in
stamina::core::Options
)
stamina::core::Options
inline
static
Generated by
1.9.3