SyncProductImpl (MultiLayerAlignment)

java.lang.Object
- org.processmining.multilayeralignment.models.mlreplay.SyncProductImpl

All Implemented Interfaces:: SyncProduct

public class SyncProductImpl
extends java.lang.Object
implements SyncProduct

Field Summary

Fields
Modifier and Type	Field and Description
`protected int[]`	`cost`
`protected int[][]`	`eventNumbers`
`protected byte[]`	`finalMarking`
`protected byte[]`	`initMarking`
`protected int[][]`	`input`
`protected java.lang.String`	`label`
`protected int[][]`	`output`
`protected java.lang.String[]`	`places`
`protected int[]`	`ranks`
`protected java.lang.String[]`	`transitions`

Fields inherited from interface org.processmining.multilayeralignment.models.mlreplay.SyncProduct
DLOG_MOVE, LOG_MOVE, MAXTRANS, MODEL_MOVE, NOEVENT, NORANK, PSYNC_MOVE, PSYNC_MOVE_T2, SYNC_MOVE, SYNC_MOVE_T2, TAU_MOVE

Constructor Summary

Constructors
Constructor and Description
`SyncProductImpl(java.lang.String label, int numClasses, java.lang.String[] transitions, java.lang.String[] places, int[][] eventNumbers, int[] ranks, int[] pathLengths, byte[] types, int[] cost)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addToFinalMarking(int... places)`
`void`	`addToInitialMarking(int... places)`
`void`	`addToInput(int t, int... p)`
`void`	`addToOutput(int t, int... p)`
`int`	`getCost(int t)` returns the cost of firing t.
`int[]`	`getEventOf(int transition)` returns the sequence of event numbers associated with this transition.
`byte[]`	`getFinalMarking()` Return the final marking
`byte[]`	`getInitialMarking()` Return the initial marking as an array where each byte represents the marking of that specific place in the interval 0..3
`int[]`	`getInput(int transition)` Returns a sorted array of places serving as input to transition t
`java.lang.String`	`getLabel()` Returns the label of the synchronous product
`int[]`	`getOutput(int transition)` Returns a sorted array of places serving as output to transition t
`java.lang.String`	`getPlaceLabel(int p)` Return the label of a place
`int`	`getRankOf(int transition)` returns the rank of the transition.
`java.lang.String`	`getTransitionLabel(int t)` Returns the label of transition t
`int`	`getTransitionPathLength(int transition)` Returns the path length of firing this transition in the graph.
`byte`	`getTypeOf(int transition)` returns the type of the transion as a byte equal to one of the constants defined in this class: LOG_MOVE, SYNC_MOVE, MODEL_MOVE, TAU_MOVE
`boolean`	`isFinalMarking(byte[] marking)` for full alignments: return Arrays.equals(marking, finalMarking); for prefix alignments: check only if a specific place is marked.
`int`	`numEventClasses()` returns the number of event classes known to this product
`int`	`numEvents()` The number of events in the trace
`int`	`numModelMoves()` returns the number of model moves in this product
`int`	`numPlaces()` The number of places is in principle bounded Integer.MAX_VALUE
`int`	`numTransitions()` Returns the number of transitions.
`void`	`setEventOf(int transition, int[] event)`
`void`	`setFinalMarking(byte[] marking)`
`void`	`setFinalMarking(int... places)`
`void`	`setInitialMarking(byte[] marking)`
`void`	`setInitialMarking(int... places)`
`void`	`setInput(int t, int... plist)`
`void`	`setOutput(int t, int... plist)`
`void`	`setPlaceLabel(int p, java.lang.String label)`
`void`	`setRankOf(int transition, int rank)`
`void`	`setTransitionLabel(int t, java.lang.String label)`

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

- Field Detail
  - transitions
```
protected final java.lang.String[] transitions
```
  - eventNumbers
```
protected final int[][] eventNumbers
```
  - ranks
```
protected final int[] ranks
```
  - places
```
protected final java.lang.String[] places
```
  - cost
```
protected final int[] cost
```
  - input
```
protected final int[][] input
```
  - output
```
protected final int[][] output
```
  - initMarking
```
protected byte[] initMarking
```
  - finalMarking
```
protected byte[] finalMarking
```
  - label
```
protected final java.lang.String label
```
- Constructor Detail
  - SyncProductImpl
```
public SyncProductImpl(java.lang.String label,
                       int numClasses,
                       java.lang.String[] transitions,
                       java.lang.String[] places,
                       int[][] eventNumbers,
                       int[] ranks,
                       int[] pathLengths,
                       byte[] types,
                       int[] cost)
```
- Method Detail
  - numTransitions
```
public int numTransitions()
```
    Description copied from interface: SyncProduct
    
    Returns the number of transitions. At most MAXTRANS transitions are allowed for memory reasons. (i.e. valid transition numbers are 0..MAXTRANS-1)
    
    Specified by:
    
    numTransitions in interface SyncProduct
    
    Returns:
  - numPlaces
```
public int numPlaces()
```
    Description copied from interface: SyncProduct
    
    The number of places is in principle bounded Integer.MAX_VALUE
    
    Specified by:
    
    numPlaces in interface SyncProduct
    
    Returns:
  - setInput
```
public void setInput(int t,
                     int... plist)
```
  - setOutput
```
public void setOutput(int t,
                      int... plist)
```
  - addToOutput
```
public void addToOutput(int t,
                        int... p)
```
  - addToInput
```
public void addToInput(int t,
                       int... p)
```
  - getInput
```
public int[] getInput(int transition)
```
    Description copied from interface: SyncProduct
    
    Returns a sorted array of places serving as input to transition t
    
    Specified by:
    
    getInput in interface SyncProduct
    
    Returns:
  - getOutput
```
public int[] getOutput(int transition)
```
    Description copied from interface: SyncProduct
    
    Returns a sorted array of places serving as output to transition t
    
    Specified by:
    
    getOutput in interface SyncProduct
    
    Returns:
  - getInitialMarking
```
public byte[] getInitialMarking()
```
    Description copied from interface: SyncProduct
    
    Return the initial marking as an array where each byte represents the marking of that specific place in the interval 0..3
    
    Specified by:
    
    getInitialMarking in interface SyncProduct
    
    Returns:
  - getFinalMarking
```
public byte[] getFinalMarking()
```
    Description copied from interface: SyncProduct
    
    Return the final marking
    
    Specified by:
    
    getFinalMarking in interface SyncProduct
    
    Returns:
  - setInitialMarking
```
public void setInitialMarking(byte[] marking)
```
  - setFinalMarking
```
public void setFinalMarking(byte[] marking)
```
  - setInitialMarking
```
public void setInitialMarking(int... places)
```
  - addToInitialMarking
```
public void addToInitialMarking(int... places)
```
  - setFinalMarking
```
public void setFinalMarking(int... places)
```
  - addToFinalMarking
```
public void addToFinalMarking(int... places)
```
  - getCost
```
public int getCost(int t)
```
    Description copied from interface: SyncProduct
    
    returns the cost of firing t. Note that the maximum cost of an alignment is 16777216, hence costs should not be excessive.
    
    Specified by:
    
    getCost in interface SyncProduct
    
    Returns:
  - getTransitionLabel
```
public java.lang.String getTransitionLabel(int t)
```
    Description copied from interface: SyncProduct
    
    Returns the label of transition t
    
    Specified by:
    
    getTransitionLabel in interface SyncProduct
    
    Returns:
  - getPlaceLabel
```
public java.lang.String getPlaceLabel(int p)
```
    Description copied from interface: SyncProduct
    
    Return the label of a place
    
    Specified by:
    
    getPlaceLabel in interface SyncProduct
    
    Returns:
  - setTransitionLabel
```
public void setTransitionLabel(int t,
                               java.lang.String label)
```
  - setPlaceLabel
```
public void setPlaceLabel(int p,
                          java.lang.String label)
```
  - isFinalMarking
```
public boolean isFinalMarking(byte[] marking)
```
    for full alignments: return Arrays.equals(marking, finalMarking); for prefix alignments: check only if a specific place is marked. For examples: place 18 marked with a single token return (marking[18 / 8] & (Utils.FLAG >>> (18 % 8))) != 0 && (marking[bm + 18 / 8] & (Utils.FLAG >>> (18 % 8))) == 0;
    
    Specified by:
    
    isFinalMarking in interface SyncProduct
    
    Returns:
  - getLabel
```
public java.lang.String getLabel()
```
    Description copied from interface: SyncProduct
    
    Returns the label of the synchronous product
    
    Specified by:
    
    getLabel in interface SyncProduct
    
    Returns:
  - getEventOf
```
public int[] getEventOf(int transition)
```
    Description copied from interface: SyncProduct
    
    returns the sequence of event numbers associated with this transition. Events are assumed numbered 0..(getNumEvents()-1) and for model-move transitions, this method returns NOEVENT = [] (getTypeOf should then return MODEL_MOVE or TAU_MOVE)
    
    Specified by:
    
    getEventOf in interface SyncProduct
    
    Returns:
  - setEventOf
```
public void setEventOf(int transition,
                       int[] event)
```
  - getTypeOf
```
public byte getTypeOf(int transition)
```
    Description copied from interface: SyncProduct
    
    returns the type of the transion as a byte equal to one of the constants defined in this class: LOG_MOVE, SYNC_MOVE, MODEL_MOVE, TAU_MOVE
    
    Specified by:
    
    getTypeOf in interface SyncProduct
    
    Returns:
  - numEvents
```
public int numEvents()
```
    Description copied from interface: SyncProduct
    
    The number of events in the trace
    
    Specified by:
    
    numEvents in interface SyncProduct
    
    Returns:
  - getRankOf
```
public int getRankOf(int transition)
```
    Description copied from interface: SyncProduct
    
    returns the rank of the transition. If a transition is a Model Move, the rank should return NORANK. For sync products made from linear traces, the rank should be the event number, i.e. getRankOf returns getEventOf. For SyncProducts of partially ordered traces, the rank should be such that the longest sequence in the trace have consecutive ranks. All other events have a rank equal to the maximum rank of their predecessors.
    
    Specified by:
    
    getRankOf in interface SyncProduct
    
    Returns:
  - setRankOf
```
public void setRankOf(int transition,
                      int rank)
```
  - numEventClasses
```
public int numEventClasses()
```
    Description copied from interface: SyncProduct
    
    returns the number of event classes known to this product
    
    Specified by:
    
    numEventClasses in interface SyncProduct
    
    Returns:
  - numModelMoves
```
public int numModelMoves()
```
    Description copied from interface: SyncProduct
    
    returns the number of model moves in this product
    
    Specified by:
    
    numModelMoves in interface SyncProduct
    
    Returns:
  - getTransitionPathLength
```
public int getTransitionPathLength(int transition)
```
    Description copied from interface: SyncProduct
    
    Returns the path length of firing this transition in the graph. Essentially this should be 1 or more in case the transition represents a sequence of multiple transitions after reduction
    
    Specified by:
    
    getTransitionPathLength in interface SyncProduct
    
    Returns:

Class SyncProductImpl

Field Summary

Fields inherited from interface org.processmining.multilayeralignment.models.mlreplay.SyncProduct

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

transitions

eventNumbers

ranks

places

cost

input

output

initMarking

finalMarking

label

Constructor Detail

SyncProductImpl

Method Detail

numTransitions

numPlaces

setInput

setOutput

addToOutput

addToInput

getInput

getOutput

getInitialMarking

getFinalMarking

setInitialMarking

setFinalMarking

setInitialMarking

addToInitialMarking

setFinalMarking

addToFinalMarking

getCost

getTransitionLabel

getPlaceLabel

setTransitionLabel

setPlaceLabel

isFinalMarking

getLabel

getEventOf

setEventOf

getTypeOf

numEvents

getRankOf

setRankOf

numEventClasses

numModelMoves

getTransitionPathLength