public class FSMTransition extends Object
Modifier and Type | Field and 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 and Description |
---|
FSMTransition(IntDomain domain,
FSMState state)
It constructs a finite machine state transition.
|
Modifier and Type | Method and Description |
---|---|
FSMTransition |
deepClone(Set<FSMState> states)
It performs a clone of a transition with copying the attributes too.
|
boolean |
equals(Object o) |
int |
hashCode() |
String |
toString() |
public IntDomain domain
public FSMState successor
public FSMTransition deepClone(Set<FSMState> states)
states
- a list of states which have been already copied.Copyright © 2022. All rights reserved.