spot
1.1.3
|
Go to the source code of this file.
Macros | |
#define | down_cast dynamic_cast |
#define down_cast dynamic_cast |
Referenced by spot::state_explicit< std::string, string_hash >::compare(), spot::explicit_graph< State, tgba >::compute_support_conditions(), spot::explicit_graph< State, tgba >::compute_support_variables(), spot::tgba_explicit_succ_iterator< State >::current_state(), spot::taa_tgba_labelled< std::string, string_hash >::format_state(), spot::explicit_graph< State, tgba >::format_state(), spot::explicit_graph< State, tgba >::get_label(), spot::explicit_graph< State, tgba >::get_transition(), spot::sba_explicit< State >::state_is_accepting(), and spot::explicit_graph< State, tgba >::succ_iter().