|
spot
2.1
|

Classes | |
| struct | prop_info |
| struct | state_info |
Public Member Functions | |
| prop_info | prop_is_true (const std::string &p) |
Public Attributes | |
| spot::parsed_aut_ptr | h |
| spot::twa_ptr | aut_or_ks |
| spot::automaton_parser_options | opts |
| std::string | format_version |
| spot::location | format_version_loc |
| spot::environment * | env |
| formula_cache | fcache |
| named_tgba_t * | namer = nullptr |
| spot::acc_mapper_int * | acc_mapper = nullptr |
| std::vector< int > | ap |
| std::vector< bdd > | guards |
| std::vector< bdd >::const_iterator | cur_guard |
| map_t | dest_map |
| std::vector< state_info > | info_states |
|
std::vector< std::pair < spot::location, unsigned > > | start |
|
std::unordered_map < std::string, bdd > | alias |
|
std::unordered_map < std::string, prop_info > | props |
| spot::location | states_loc |
| spot::location | ap_loc |
| spot::location | state_label_loc |
| spot::location | accset_loc |
| spot::acc_cond::mark_t | acc_state |
| spot::acc_cond::mark_t | neg_acc_sets = 0U |
| spot::acc_cond::mark_t | pos_acc_sets = 0U |
| int | plus |
| int | minus |
| std::vector< std::string > * | state_names = nullptr |
| std::map< unsigned, unsigned > * | highlight_edges = nullptr |
| std::map< unsigned, unsigned > * | highlight_states = nullptr |
| std::map< unsigned, unsigned > | states_map |
| std::set< int > | ap_set |
| unsigned | cur_state |
| int | states = -1 |
| int | ap_count = -1 |
| int | accset = -1 |
| bdd | state_label |
| bdd | cur_label |
| bool | has_state_label = false |
| bool | ignore_more_ap = false |
| bool | ignore_acc = false |
| bool | ignore_acc_silent = false |
| bool | ignore_more_acc = false |
| label_style_t | label_style = Mixed_Labels |
| acc_style_t | acc_style = Mixed_Acc |
| bool | accept_all_needed = false |
| bool | accept_all_seen = false |
| bool | aliased_states = false |
| spot::trival | deterministic = spot::trival::maybe() |
| bool | complete = false |
| bool | trans_acc_seen = false |
|
std::map< std::string, spot::location > | labels |
1.8.8