SyncProduct (MultiLayerAlignment)

All Known Implementing Classes:

SyncProductImpl
```
public interface SyncProduct
```

Field Summary

Fields
Modifier and Type	Field and Description
`static byte`	`DLOG_MOVE`
`static byte`	`LOG_MOVE`
`static int`	`MAXTRANS`
`static byte`	`MODEL_MOVE`
`static int[]`	`NOEVENT`
`static int`	`NORANK`
`static byte`	`PSYNC_MOVE`
`static byte`	`PSYNC_MOVE_T2`
`static byte`	`SYNC_MOVE`
`static byte`	`SYNC_MOVE_T2`
`static byte`	`TAU_MOVE`

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`int`	`getCost(int transition)` 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 place)` 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)` Checks if a given marking is the (a) final marking
`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.

- Field Detail
  - LOG_MOVE
```
static final byte LOG_MOVE
```
    See Also:
    
    Constant Field Values
  - MODEL_MOVE
```
static final byte MODEL_MOVE
```
    See Also:
    
    Constant Field Values
  - SYNC_MOVE
```
static final byte SYNC_MOVE
```
    See Also:
    
    Constant Field Values
  - TAU_MOVE
```
static final byte TAU_MOVE
```
    See Also:
    
    Constant Field Values
  - PSYNC_MOVE
```
static final byte PSYNC_MOVE
```
    See Also:
    
    Constant Field Values
  - DLOG_MOVE
```
static final byte DLOG_MOVE
```
    See Also:
    
    Constant Field Values
  - PSYNC_MOVE_T2
```
static final byte PSYNC_MOVE_T2
```
    See Also:
    
    Constant Field Values
  - SYNC_MOVE_T2
```
static final byte SYNC_MOVE_T2
```
    See Also:
    
    Constant Field Values
  - MAXTRANS
```
static final int MAXTRANS
```
    See Also:
    
    Constant Field Values
  - NOEVENT
```
static final int[] NOEVENT
```
  - NORANK
```
static final int NORANK
```
    See Also:
    
    Constant Field Values
- Method Detail
  - numTransitions
```
int numTransitions()
```
    Returns the number of transitions. At most MAXTRANS transitions are allowed for memory reasons. (i.e. valid transition numbers are 0..MAXTRANS-1)
    
    Returns:
  - numPlaces
```
int numPlaces()
```
    The number of places is in principle bounded Integer.MAX_VALUE
    
    Returns:
  - numEvents
```
int numEvents()
```
    The number of events in the trace
    
    Returns:
  - getInput
```
int[] getInput(int transition)
```
    Returns a sorted array of places serving as input to transition t
    
    Parameters:
    
    transition -
    
    Returns:
  - getOutput
```
int[] getOutput(int transition)
```
    Returns a sorted array of places serving as output to transition t
    
    Parameters:
    
    transition -
    
    Returns:
  - getInitialMarking
```
byte[] getInitialMarking()
```
    Return the initial marking as an array where each byte represents the marking of that specific place in the interval 0..3
    
    Returns:
  - getFinalMarking
```
byte[] getFinalMarking()
```
    Return the final marking
    
    Returns:
  - getCost
```
int getCost(int transition)
```
    returns the cost of firing t. Note that the maximum cost of an alignment is 16777216, hence costs should not be excessive.
    
    Parameters:
    
    t -
    
    Returns:
  - getTransitionLabel
```
java.lang.String getTransitionLabel(int t)
```
    Returns the label of transition t
    
    Parameters:
    
    t -
    
    Returns:
  - isFinalMarking
```
boolean isFinalMarking(byte[] marking)
```
    Checks if a given marking is the (a) final marking
    
    Parameters:
    
    marking -
    
    Returns:
  - getPlaceLabel
```
java.lang.String getPlaceLabel(int place)
```
    Return the label of a place
    
    Parameters:
    
    p -
    
    Returns:
  - getLabel
```
java.lang.String getLabel()
```
    Returns the label of the synchronous product
    
    Returns:
  - getEventOf
```
int[] getEventOf(int transition)
```
    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)
    
    Parameters:
    
    transition -
    
    Returns:
  - getRankOf
```
int getRankOf(int transition)
```
    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.
    
    Parameters:
    
    transition -
    
    Returns:
  - getTypeOf
```
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
    
    Parameters:
    
    transition -
    
    Returns:
  - numEventClasses
```
int numEventClasses()
```
    returns the number of event classes known to this product
    
    Returns:
  - numModelMoves
```
int numModelMoves()
```
    returns the number of model moves in this product
    
    Returns:
  - getTransitionPathLength
```
int getTransitionPathLength(int transition)
```
    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
    
    Parameters:
    
    predecessorTransition -
    
    Returns:

Interface SyncProduct

Field Summary

Method Summary

Field Detail

LOG_MOVE

MODEL_MOVE

SYNC_MOVE

TAU_MOVE

PSYNC_MOVE

DLOG_MOVE

PSYNC_MOVE_T2

SYNC_MOVE_T2

MAXTRANS

NOEVENT

NORANK

Method Detail

numTransitions

numPlaces

numEvents

getInput

getOutput

getInitialMarking

getFinalMarking

getCost

getTransitionLabel

isFinalMarking

getPlaceLabel

getLabel

getEventOf

getRankOf

getTypeOf

numEventClasses

numModelMoves

getTransitionPathLength