spot  1.99.4a
spot::color_proviso Member List

This is the complete list of members for spot::color_proviso, including all inherited members.

color_proviso() (defined in spot::color_proviso)spot::color_proviso
expand_before_pop(int n, twa_succ_iterator *it, seen_map &map) (defined in spot::color_proviso)spot::color_provisovirtual
expand_new_state(int n, bool expanded, twa_succ_iterator *it, seen_map &map, const state *, const const_twa_ptr &) (defined in spot::color_proviso)spot::color_provisovirtual
expand_src_closingedge(int src, int dst) (defined in spot::color_proviso)spot::color_provisovirtual
is_cl2l_persistent_set(int n, twa_succ_iterator *it, seen_map &map) (defined in spot::color_proviso)spot::color_proviso
seen_map typedef (defined in spot::proviso)spot::proviso
~color_proviso() (defined in spot::color_proviso)spot::color_proviso
~proviso() (defined in spot::proviso)spot::provisoinlinevirtual

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sun Oct 11 2015 10:50:08 for spot by doxygen 1.8.9.1