public class TabulatedDomainWrapper extends java.lang.Object implements DomainGenerator
generateDomain()
method and is performed
using a BURLAP state enumerator. In particular, seed states must be passed to this object and it will find all reachable states from the seed state
and enumerate them.Modifier and Type | Class and Description |
---|---|
class |
TabulatedDomainWrapper.ActionWrapper
An action wrapper that coverts a tabularized state into the source domain state, perform the corresponding source domain action on it getting the
resutling source domain state and returns the tabularized version of the resulting source domain state.
|
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ATTSTATE
The single attribute name for identifying states
|
static java.lang.String |
CLASSSTATE
The single class name that holds the state attribute
|
protected StateEnumerator |
enumerator
The state enumerator used for enumerating (or tabulating) all states
|
protected Domain |
inputDomain
The input domain that is to be wrapped into a tabularized domain
|
protected Domain |
tabDomain
The output tabularied domain
|
Constructor and Description |
---|
TabulatedDomainWrapper(Domain inputDomain,
StateHashFactory hashingFactory)
Constructs.
|
Modifier and Type | Method and Description |
---|---|
void |
addReachableStatesFrom(State from)
Enumerates all reachable states from the input state to include in this tabularized domain's state space.
|
Domain |
generateDomain()
Returns a newly instanced Domain object
|
State |
getSourceDomainState(State s)
Returns the source domain state associated with the tabularized state
|
int |
getStateId(State s)
Returns the state id for a state beloning to the input source domain
|
State |
getTabularizedState(State s)
Returns a tabularized state for a source domain state
|
public static final java.lang.String ATTSTATE
public static final java.lang.String CLASSSTATE
protected Domain inputDomain
protected Domain tabDomain
protected StateEnumerator enumerator
public TabulatedDomainWrapper(Domain inputDomain, StateHashFactory hashingFactory)
inputDomain
- the input domain to be wrappedhashingFactory
- the hashing factory used to enumerate states from the input domainpublic void addReachableStatesFrom(State from)
from
- the souce state from which to find and enumerate all reachable statespublic Domain generateDomain()
DomainGenerator
generateDomain
in interface DomainGenerator
public int getStateId(State s)
s
- the source domain statepublic State getSourceDomainState(State s)
s
- the tabularized state