public class StateReachability
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
debugID
The debugID used for making calls to
DPrint . |
Constructor and Description |
---|
StateReachability() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<StateHashTuple> |
getReachableHashedStates(State from,
SADomain inDomain,
StateHashFactory usingHashFactory)
Returns the set of
State objects that are reachable from a source state. |
static java.util.Set<StateHashTuple> |
getReachableHashedStates(State from,
SADomain inDomain,
StateHashFactory usingHashFactory,
TerminalFunction tf)
Returns the set of
State objects that are reachable from a source state. |
static java.util.List<State> |
getReachableStates(State from,
SADomain inDomain,
StateHashFactory usingHashFactory)
Returns the list of
State objects that are reachable from a source state. |
static java.util.List<State> |
getReachableStates(State from,
SADomain inDomain,
StateHashFactory usingHashFactory,
TerminalFunction tf)
Returns the list of
State objects that are reachable from a source state. |
public static int debugID
DPrint
.public static java.util.List<State> getReachableStates(State from, SADomain inDomain, StateHashFactory usingHashFactory)
State
objects that are reachable from a source state.from
- the source stateinDomain
- the domain of the stateusingHashFactory
- the state hashing factory to use for indexing states and testing equality.State
objects that are reachable from a source state.public static java.util.List<State> getReachableStates(State from, SADomain inDomain, StateHashFactory usingHashFactory, TerminalFunction tf)
State
objects that are reachable from a source state.from
- the source stateinDomain
- the domain of the stateusingHashFactory
- the state hashing factory to use for indexing states and testing equality.tf
- a terminal function that prevents expansion from terminal states.State
objects that are reachable from a source state.public static java.util.Set<StateHashTuple> getReachableHashedStates(State from, SADomain inDomain, StateHashFactory usingHashFactory)
State
objects that are reachable from a source state.from
- the source stateinDomain
- the domain of the stateusingHashFactory
- the state hashing factory to use for indexing states and testing equality.State
objects that are reachable from a source state.public static java.util.Set<StateHashTuple> getReachableHashedStates(State from, SADomain inDomain, StateHashFactory usingHashFactory, TerminalFunction tf)
State
objects that are reachable from a source state.from
- the source stateinDomain
- the domain of the stateusingHashFactory
- the state hashing factory to use for indexing states and testing equality.tf
- a terminal function that prevents expansion from terminal states.State
objects that are reachable from a source state.