Module dev.civl.gmc

Package dev.civl.gmc.dpor

Class DporTransitionData

java.lang.Object

dev.civl.gmc.dpor.DporTransitionData

public class DporTransitionData
extends Object

A simple structure to bundle data that is associated to a transition in an execution explored by DPOR.

Field Summary

Fields

Modifier and Type	Field	Description
DporHbSet	hbSet	The DporHbSet of stack entries with transitions that happen-before this transition
int	prevStackPosition	The previous position on the stack of an entry with a transition from this process

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

prevStackPosition

public int prevStackPosition

The previous position on the stack of an entry with a transition from this process

hbSet

public DporHbSet hbSet

The DporHbSet of stack entries with transitions that happen-before this transition