rmp

Class Model

java.lang.Object

rmp.Model

public class Model
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Model(java.util.ArrayList<java.lang.String> speciesList, TransitionList transitions, State initState, int[] goalMask)

Method Summary

Modifier and Type	Method and Description
int[]	getGoalMask()
State	getInitialState()
TransitionList	getPosttransitions(int place)
TransitionList	getProperPosttransitions(int place)
TransitionList	getProperPretransitions(int place)
java.util.ArrayList<java.lang.String>	getSpeciesList()
TransitionList	getTransitions()
java.lang.String	speciesNamesToString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Model

public Model(java.util.ArrayList<java.lang.String> speciesList,
             TransitionList transitions,
             State initState,
             int[] goalMask)

Method Detail

getProperPretransitions

public TransitionList getProperPretransitions(int place)

getProperPosttransitions

public TransitionList getProperPosttransitions(int place)

getPosttransitions

public TransitionList getPosttransitions(int place)

getInitialState

public State getInitialState()

getTransitions

public TransitionList getTransitions()

getSpeciesList

public java.util.ArrayList<java.lang.String> getSpeciesList()

getGoalMask

public int[] getGoalMask()

speciesNamesToString

public java.lang.String speciesNamesToString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object