PATransition (SPECpp)

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

public class PATransition
extends java.lang.Object

Represents a transition of the prefix automaton

Constructor Summary

Constructors
Constructor Description

PATransition(Activity a)
Creates a new transition with activity a.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Activity`	`getActivity()`	Returns the activity of the transition.
`PAState`	`getPointer()`	Returns the pointer to the state the transition is pointing to.
`void`	`setActivity(Activity a)`	Sets the activity of the transition.
`void`	`setPointer(PAState p)`	Sets the pointer to the state the transition is pointing to.
`java.lang.String`	`toString()`	Returns a String describing the transition.

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

- Constructor Detail
  - PATransition
```
public PATransition(Activity a)
```
    Creates a new transition with activity a.
    
    Parameters:
    
    a - Activity.
- Method Detail
  - getActivity
```
public Activity getActivity()
```
    Returns the activity of the transition.
    
    Returns:
    
    Activity.
  - setActivity
```
public void setActivity(Activity a)
```
    Sets the activity of the transition.
    
    Parameters:
    
    a - Activity.
  - getPointer
```
public PAState getPointer()
```
    Returns the pointer to the state the transition is pointing to.
    
    Returns:
    
    State.
  - setPointer
```
public void setPointer(PAState p)
```
    Sets the pointer to the state the transition is pointing to.
    
    Parameters:
    
    p - Pointer.
  - toString
```
public java.lang.String toString()
```
    Returns a String describing the transition.
    
    Overrides:
    
    toString in class java.lang.Object
    
    Returns:
    
    String.