Uses of Class
rmp.State

Packages that use State

Package	Description
rmp

Uses of State in rmp

Methods in rmp that return State

Modifier and Type	Method and Description
State	Transition.applyTransition(State state)
State	Model.getInitialState()

Methods in rmp with parameters of type State

Modifier and Type	Method and Description
State	Transition.applyTransition(State state)
static boolean[]	ComputeStubbornSetAlternative.computeSmallestStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSet.computeSmallestStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state)
static boolean[]	ComputeStubbornSet.computeStubbornSet(Model model, State state)
static void	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state, boolean[] stub, int transIndex)
static void	ComputeStubbornSet.computeStubbornSet(Model model, State state, boolean[] stub, int transIndex)
static boolean[]	ComputeStubbornSetAlternative.computeStubbornSet(Model model, State state, int transIndex)
static boolean[]	ComputeStubbornSet.computeStubbornSet(Model model, State state, int transIndex)
static int	ComputeStubbornSetAlternative.countEnabledTransitions(Model model, State state, boolean[] arr)
static int	ComputeStubbornSet.countEnabledTransitions(Model model, State state, boolean[] arr)
int	Transition.getViolatingPreplace(Model model, State state)
boolean	Transition.isEnabled(State state)

Constructors in rmp with parameters of type State

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