spot
1.99.3
|
Classes | |
struct | state_info |
Public Attributes | |
spot::parsed_aut_ptr | h |
spot::ltl::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 |
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, spot::location > | 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 |
std::vector< std::string > * | state_names = 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 |
bool | deterministic = false |
bool | complete = false |
bool | trans_acc_seen = false |
std::map< std::string, spot::location > | labels |