rmp

Class Transition

java.lang.Object

rmp.Transition

public class Transition
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Transition(int[] preMask, int[] postMask, int[] readMask, java.lang.String name)

Method Summary

Modifier and Type	Method and Description
State	applyTransition(State state)
java.lang.String	getName()
int[]	getPostMask()
int[]	getPreMask()
int[]	getReadMask()
int	getViolatingPreplace(Model model, State state)
boolean	isEnabled(State state)
void	setReadMask(int[] readMask)
java.lang.String	toString(java.util.ArrayList<java.lang.String> speciesList)

Methods inherited from class java.lang.Object

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

Constructor Detail

Transition

public Transition(int[] preMask,
                  int[] postMask,
                  int[] readMask,
                  java.lang.String name)

Method Detail

setReadMask

public void setReadMask(int[] readMask)

getName

public java.lang.String getName()

getViolatingPreplace

public int getViolatingPreplace(Model model,
                                State state)

getPreMask

public int[] getPreMask()

getPostMask

public int[] getPostMask()

getReadMask

public int[] getReadMask()

applyTransition

public State applyTransition(State state)

isEnabled

public boolean isEnabled(State state)

toString

public java.lang.String toString(java.util.ArrayList<java.lang.String> speciesList)