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 | expand_new_state (int, bool, twa_succ_iterator *, seen_map &, const state *, const const_twa_ptr &) |
bool | expand_src_closingedge (int, int) |
bool | expand_before_pop (int, twa_succ_iterator *, seen_map &) |