◆ state_size()
int spot::ltsmin_model::state_size |
( |
| ) |
const |
Number of variables in a state.
◆ state_variable_name()
const char* spot::ltsmin_model::state_variable_name |
( |
int |
var | ) |
const |
◆ state_variable_type()
int spot::ltsmin_model::state_variable_type |
( |
int |
var | ) |
const |
◆ type_count()
int spot::ltsmin_model::type_count |
( |
| ) |
const |
Number of different types.
◆ type_name()
const char* spot::ltsmin_model::type_name |
( |
int |
type | ) |
const |
◆ type_value_count()
int spot::ltsmin_model::type_value_count |
( |
int |
type | ) |
|
Count of enumerated values for a type.
◆ type_value_name()
const char* spot::ltsmin_model::type_value_name |
( |
int |
type, |
|
|
int |
val |
|
) |
| |
Name of each enumerated value for a type.
The documentation for this class was generated from the following file: