You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In #296 I recognized that the functionality from test_state_space_restrictions_by_traversing_forward could be useful to users. The function traverses the state space from the first to the last period. In each period it marks the states which are connected to marked states from the previous period. This detects unrelated states which are currently cleaned by core_state_space_filters in the options.
The text was updated successfully, but these errors were encountered:
Description
In #296 I recognized that the functionality from
test_state_space_restrictions_by_traversing_forward
could be useful to users. The function traverses the state space from the first to the last period. In each period it marks the states which are connected to marked states from the previous period. This detects unrelated states which are currently cleaned bycore_state_space_filters
in the options.The text was updated successfully, but these errors were encountered: