JaCoP.util.fsm
Class FSMTransition

java.lang.Object
  JaCoP.util.fsm.FSMTransition

public class FSMTransition
extends java.lang.Object

Version:

3.1

Author:

Radoslaw Szymanek

Field Summary

IntDomain	domain It specifies the domain associated with the transition.
FSMState	successor It specifies the successor state we arrive to after taking the transition.
static java.lang.String[]	xmlAttributes It specifies the arguments required to be saved by an XML format as well as the constructor being called to recreate an object from an XML format.

Constructor Summary

FSMTransition(IntDomain domain, FSMState state)
It constructs a finite machine state transition.

Method Summary

FSMTransition	deepClone(java.util.HashSet<FSMState> states) It performs a clone of a transition with copying the attributes too.
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

domain

public IntDomain domain

It specifies the domain associated with the transition.

successor

public FSMState successor

It specifies the successor state we arrive to after taking the transition.

xmlAttributes

public static java.lang.String[] xmlAttributes

It specifies the arguments required to be saved by an XML format as well as the constructor being called to recreate an object from an XML format.

Constructor Detail

FSMTransition

public FSMTransition(IntDomain domain,
                     FSMState state)

It constructs a finite machine state transition.

Parameters:

domain - the domain which triggers the transition.

state - the successor state reached by a transition.

Method Detail

deepClone

public FSMTransition deepClone(java.util.HashSet<FSMState> states)

It performs a clone of a transition with copying the attributes too.

Parameters:

states - a list of states which have been already copied.

Returns:

the transition clone.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object