burlap.behavior.singleagent.auxiliary

Class StateReachability

java.lang.Object

burlap.behavior.singleagent.auxiliary.StateReachability

public class StateReachability
extends java.lang.Object

This class provides methods for finding the set of reachable states from a source state. Alternate methods for finding the reachable states under a specific policy are also provided. See the Java doc for each method for more information.

Author:

James MacGlashan

Field Summary

Fields

Modifier and Type	Field and Description
static int	debugID The debugID used for making calls to DPrint.

Method Summary

Modifier and Type	Method and Description
static java.util.Set<HashableState>	getPolicyReachableHashedStates(SADomain domain, EnumerablePolicy p, State from, HashableStateFactory usingHashFactory) Finds the set of states (HashableState) that are reachable under a policy from a source state.
static java.util.List<State>	getPolicyReachableStates(SADomain domain, EnumerablePolicy p, State from, HashableStateFactory usingHashFactory) Finds the set of states that are reachable under a policy from a source state.
static java.util.Set<HashableState>	getReachableHashedStates(State from, SADomain inDomain, HashableStateFactory usingHashFactory) Returns the set of State objects that are reachable from a source state.
static java.util.List<State>	getReachableStates(State from, SADomain inDomain, HashableStateFactory usingHashFactory) Returns the list of State objects that are reachable from a source state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

debugID

public static final int debugID

The debugID used for making calls to DPrint.

See Also:

Constant Field Values

Method Detail

getReachableStates

public static java.util.List<State> getReachableStates(State from,
                                                       SADomain inDomain,
                                                       HashableStateFactory usingHashFactory)

Returns the list of State objects that are reachable from a source state.

Parameters:

from - the source state

inDomain - the domain of the state

usingHashFactory - the state hashing factory to use for indexing states and testing equality.

Returns:

the list of State objects that are reachable from a source state.

getReachableHashedStates

public static java.util.Set<HashableState> getReachableHashedStates(State from,
                                                                    SADomain inDomain,
                                                                    HashableStateFactory usingHashFactory)

Returns the set of State objects that are reachable from a source state.

Parameters:

from - the source state

inDomain - the domain of the state

usingHashFactory - the state hashing factory to use for indexing states and testing equality.

Returns:

the set of State objects that are reachable from a source state.

getPolicyReachableStates

public static java.util.List<State> getPolicyReachableStates(SADomain domain,
                                                             EnumerablePolicy p,
                                                             State from,
                                                             HashableStateFactory usingHashFactory)

Finds the set of states that are reachable under a policy from a source state. Reachability under a source policy means that the space of actions considered are those that have non-zero probability of being selected by the policy and all possible outcomes of those states are considered.

Parameters:

domain - the domain containing the model to use for evaluating reachable states

p - the policy that must be followed

from - the source State from which the policy would be initiated.

usingHashFactory - the HashableStateFactory used to hash states and test equality.

Returns:

a List of State objects that could be reached.

getPolicyReachableHashedStates

public static java.util.Set<HashableState> getPolicyReachableHashedStates(SADomain domain,
                                                                          EnumerablePolicy p,
                                                                          State from,
                                                                          HashableStateFactory usingHashFactory)

Finds the set of states (HashableState) that are reachable under a policy from a source state. Reachability under a source policy means that the space of actions considered are those that have non-zero probability of being selected by the policy and all possible outcomes of those states are considered.

Parameters:

domain - the domain containing the model to use for evaluating reachable states

p - the policy that must be followed

from - the source State from which the policy would be initiated.

usingHashFactory - the HashableStateFactory used to hash states and test equality.

Returns:

a Set of HashableState objects that could be reached.