FSMTransition

java.lang.Object
- org.jacop.util.fsm.FSMTransition

public class FSMTransition
extends java.lang.Object

Version:: 4.8

Field Summary

Fields
Modifier and Type	Field	Description
`IntDomain`	`domain`	It specifies the domain associated with the transition.
`FSMState`	`successor`	It specifies the successor state we arrive to after taking the transition.

Constructor Summary

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`FSMTransition`	`deepClone(java.util.Set<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
clone, finalize, 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.
- 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.Set<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