org.jacop.util.fsm

Class FSMState

java.lang.Object

org.jacop.util.fsm.FSMState

public class FSMState
extends Object

Version:

4.9

Author:

Radoslaw Szymanek and Krzysztof Kuchcinski

Field Summary

Fields

Modifier and Type	Field and Description
int	id Id of the state.
Set<FSMTransition>	transitions It specifies the list of transitions outgoing from this state.

Constructor Summary

Constructors

Constructor and Description
FSMState() It creates a state with id equl to the number of instances FSMState created.
FSMState(FSMState a) It creates a state with an id as the id specified by a supplied state.
FSMState(HashSet<FSMTransition> transitions, int id) It constructs a FSM state.

Method Summary

Modifier and Type	Method and Description
void	addTransition(FSMTransition transition) It adds transition to the list of transitions from this state.
FSMState	deepClone(Set<FSMState> states) Performing deep clone unless this state has already a state with the same id in the array of states.
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

id

public int id

Id of the state. There can be multiple copies of the same state with the same id.

transitions

public Set<FSMTransition> transitions

It specifies the list of transitions outgoing from this state.

Constructor Detail

FSMState

public FSMState(HashSet<FSMTransition> transitions,
                int id)

It constructs a FSM state.

Parameters:

transitions - it specifies transition

id - state id

FSMState

public FSMState()

It creates a state with id equl to the number of instances FSMState created.

FSMState

public FSMState(FSMState a)

It creates a state with an id as the id specified by a supplied state.

Parameters:

a - state from which id is taken while creating this state.

Method Detail

deepClone

public FSMState deepClone(Set<FSMState> states)

Performing deep clone unless this state has already a state with the same id in the array of states.

Parameters:

states - it contains the states which do not need to be created, only reused.

Returns:

a deep clone of the current state.

addTransition

public void addTransition(FSMTransition transition)

It adds transition to the list of transitions from this state.

Parameters:

transition - the transition being added.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object