org.jacop.util.fsm.FSMCloneable Class Reference

A cloneable FSM. More...

Inheritance diagram for org.jacop.util.fsm.FSMCloneable:

Public Member Functions
	FSMCloneable ()
	Default constructor.
	FSMCloneable (FSMState initState, HashSet< FSMState > finalStates, HashSet< FSMState > allStates)
	Constructor.
FSMCloneable	clone ()

Detailed Description

A cloneable FSM.

Author

Thomas Leaute

Constructor & Destructor Documentation

FSMCloneable() [1/2]

org.jacop.util.fsm.FSMCloneable.FSMCloneable

(

)

Default constructor.

Referenced by clone().

FSMCloneable() [2/2]

org.jacop.util.fsm.FSMCloneable.FSMCloneable	(	FSMState	initState,
		HashSet< FSMState >	finalStates,
		HashSet< FSMState >	allStates )

Constructor.

Parameters

initState	the initial state
finalStates	the final states
allStates	all states

Member Function Documentation

clone()

FSMCloneable org.jacop.util.fsm.FSMCloneable.clone

(

)

See also

java.lang.Object#clone()

References FSMCloneable().

Here is the call graph for this function:

---

The documentation for this class was generated from the following file:

• src/org/jacop/util/fsm/FSMCloneable.java