spot
1.99.4a
|
Public Types | |
typedef std::unordered_map< const state *, int, state_ptr_hash, state_ptr_equal > | seen_map |
Public Member Functions | |
bool | is_cl2l_persistent_set (int n, twa_succ_iterator *it, seen_map &map) |
bool | expand_new_state (int n, bool expanded, twa_succ_iterator *it, seen_map &map, const state *, const const_twa_ptr &) |
bool | expand_src_closingedge (int src, int dst) |
bool | expand_before_pop (int n, twa_succ_iterator *it, seen_map &map) |