PAState (SPECpp)

java.lang.Object
- org.processmining.specpp.datastructures.transitionSystems.PAState

public class PAState
extends java.lang.Object

Represents a state of the Prefix Automaton.

Constructor Summary

Constructors
Constructor	Description
`PAState()`	Create a new prefix automaton state (empty List of Transitions).
`PAState(java.util.LinkedList<PATransition> outgoingTrans)`	Create a new prefix automaton state.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addOutgoingTrans(PATransition t)`	Adds an outgoing transition to the state.
`boolean`	`checkForOutgoingAct(Activity a)`	Checks if the state has a given transition.
`java.util.LinkedList<PATransition>`	`getOutgoingTrans()`	Returns list of outgoing Transitions.
`PATransition`	`getTrans(Activity a)`	Returns transition with activity a.
`boolean`	`isFinal()`	Check if state is final.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PAState
```
public PAState()
```
    Create a new prefix automaton state (empty List of Transitions).
  - PAState
```
public PAState(java.util.LinkedList<PATransition> outgoingTrans)
```
    Create a new prefix automaton state.
    
    Parameters:
    
    outgoingTrans - List of outgoing transitions.
- Method Detail
  - isFinal
```
public boolean isFinal()
```
    Check if state is final.
    
    Returns:
    
    True if state has no outgoing transitions, i.e., is final. Otherwise false.
  - addOutgoingTrans
```
public void addOutgoingTrans(PATransition t)
```
    Adds an outgoing transition to the state.
    
    Parameters:
    
    t - Outgoing transition.
  - checkForOutgoingAct
```
public boolean checkForOutgoingAct(Activity a)
```
    Checks if the state has a given transition.
    
    Parameters:
    
    a - Activity.
    
    Returns:
    
    True, if state has an (outgoing) transition a. Otherwise, false.
  - getOutgoingTrans
```
public java.util.LinkedList<PATransition> getOutgoingTrans()
```
    Returns list of outgoing Transitions.
    
    Returns:
    
    List of outgoing Transitions.
  - getTrans
```
public PATransition getTrans(Activity a)
```
    Returns transition with activity a.
    
    Parameters:
    
    a - Activity.
    
    Returns:
    
    Transition.