SD
- a specific state descriptor for the problem at hand.public abstract class StateSpace<SD> extends Object implements Iterable<State>
State
.Modifier and Type | Field and Description |
---|---|
protected static Function<State,ArrayList<Action>> |
buildActionList |
protected static Function<State,Action> |
idempotentAction |
protected int |
period |
protected Map<SD,State> |
states |
Constructor and Description |
---|
StateSpace(int period,
HashType hash)
Constructs a container for states associated with a given
period . |
StateSpace(int period,
HashType hash,
int stateSpaceSizeLowerBound,
float loadFactor)
Constructs a container for states associated with a given
period . |
Modifier and Type | Method and Description |
---|---|
Set<Map.Entry<SD,State>> |
entrySet()
Returns the key entry set associated with this container.
|
static Function<State,ArrayList<Action>> |
getBuildActionList() |
static Function<State,Action> |
getIdempotentAction() |
int |
getPeriod()
Returns the period associated with this container.
|
abstract State |
getState(SD descriptor)
Returns the
State associated with a given state descriptor. |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEach, iterator, spliterator
public StateSpace(int period, HashType hash)
period
.
Do not use ConcurrentHashMap
in conjunction with forward recursion.period
- the period associated with this container.hash
- the type of hash used to store the state spacepublic StateSpace(int period, HashType hash, int stateSpaceSizeLowerBound, float loadFactor)
period
.
Do not use ConcurrentHashMap
in conjunction with forward recursion.period
- the period associated with this container.hash
- the type of hash used to store the state spacestateSpaceSizeLowerBound
- a lower bound for the sdp state space size, used to initialise the internal hash mapsloadFactor
- the internal hash maps load factorpublic abstract State getState(SD descriptor)
State
associated with a given state descriptor.descriptor
- the state descriptor.State
associated with descriptor
.public int getPeriod()
Copyright © 2017–2018. All rights reserved.