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.

Author:

James MacGlashan

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
StateReachability()

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

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

Field Detail

debugID

public static int debugID

The debugID used for making calls to DPrint.

Constructor Detail

StateReachability

public StateReachability()

Method Detail

getReachableStates

public 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.

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.

getReachableStates

public 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.

Parameters:

from - the source state

inDomain - the domain of the state

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

tf - a terminal function that prevents expansion from terminal states.

Returns:

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

getReachableHashedStates

public 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.

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.

getReachableHashedStates

public 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.

Parameters:

from - the source state

inDomain - the domain of the state

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

tf - a terminal function that prevents expansion from terminal states.

Returns:

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