spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Classes | Public Attributes | List of all members
hoayy_support::result_ Struct Reference
Collaboration diagram for hoayy_support::result_:
Collaboration graph

Classes

struct  state_info
 

Public Attributes

spot::parsed_aut_ptr h
 
spot::ltl::environmentenv
 
formula_cache fcache
 
named_tgba_tnamer = 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_infoinfo_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
 

The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:37 for spot by doxygen 1.8.8