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