|
spot
2.1
|

Public Member Functions | |
| kripke_ptr | kripke (const atomic_prop_set *to_observe, bdd_dict_ptr dict, formula dead=formula::tt(), int compress=0) const |
| int | state_size () const |
| Number of variables in a state. More... | |
| const char * | state_variable_name (int var) const |
| Name of each variable. More... | |
| int | state_variable_type (int var) const |
| Type of each variable. More... | |
| int | type_count () const |
| Number of different types. More... | |
| const char * | type_name (int type) const |
| Name of each type. More... | |
| int | type_value_count (int type) |
| Count of enumerated values for a type. More... | |
| const char * | type_value_name (int type, int val) |
| Name of each enumerated value for a type. More... | |
Static Public Member Functions | |
| static ltsmin_model | load (const std::string &file) |
| int spot::ltsmin_model::state_size | ( | ) | const |
Number of variables in a state.
| const char* spot::ltsmin_model::state_variable_name | ( | int | var | ) | const |
Name of each variable.
| int spot::ltsmin_model::state_variable_type | ( | int | var | ) | const |
Type of each variable.
| int spot::ltsmin_model::type_count | ( | ) | const |
Number of different types.
| const char* spot::ltsmin_model::type_name | ( | int | type | ) | const |
Name of each type.
| int spot::ltsmin_model::type_value_count | ( | int | type | ) |
Count of enumerated values for a type.
| const char* spot::ltsmin_model::type_value_name | ( | int | type, |
| int | val | ||
| ) |
Name of each enumerated value for a type.
1.8.8