PFSA

Class PFSATransition

java.lang.Object

FSA.Transition

PFSA.PFSATransition

All Implemented Interfaces:

java.io.Serializable

public class PFSATransition
extends Transition
implements java.io.Serializable

Override transition by changing the label

Author:

Davide Basile

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PFSATransition(int i) Create a new Transition by taking in input the user parameters
PFSATransition(int initial, int fina, int sigma, int Z, int delta, int zeta)

Method Summary

Methods

Modifier and Type	Method and Description
int	getDelta()
int	getSigma()
int	getZ()
int	getZeta()
java.lang.String	toString() Override

Methods inherited from class FSA.Transition

getFinal, getInitial, getLabel, getTransitionByLabel, getTransitionFrom

Methods inherited from class java.lang.Object

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

Constructor Detail

PFSATransition

public PFSATransition(int initial,
              int fina,
              int sigma,
              int Z,
              int delta,
              int zeta)

Parameters:

initial - initial state

fina - arrival state

sigma - function sigma

Z - function Z

delta - function delta

zeta - function zeta

PFSATransition

public PFSATransition(int i)

Create a new Transition by taking in input the user parameters

Parameters:

i - the index of the transition to be showed as a message to the user

Method Detail

getSigma

public int getSigma()

Returns:

value for sigma

getDelta

public int getDelta()

Returns:

value for delta

getZ

public int getZ()

Returns:

value for Z

getZeta

public int getZeta()

Returns:

value for Zeta

toString

public java.lang.String toString()

Override

Overrides:

toString in class Transition