com.qbpsimulator.engine.utils

Class PostConditionTable

java.lang.Object

com.qbpsimulator.engine.utils.PostConditionTable

public class PostConditionTable
extends Object

Class representing the post-condition table

Author:

Madis Abel

Constructor Summary

Constructors

Constructor and Description
PostConditionTable() Default constructor

Method Summary

Modifier and Type	Method and Description
void	add(Integer fromIndex, int tokenFlowIndex) Adds a flow to the table
int[]	getFlowsByEventId(Integer eventId) Returns an array of outgoing flow indexes

Methods inherited from class java.lang.Object

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

Constructor Detail

PostConditionTable

public PostConditionTable()

Default constructor

Method Detail

getFlowsByEventId

public int[] getFlowsByEventId(Integer eventId)

Returns an array of outgoing flow indexes

Parameters:

eventId - element index

Returns:

array of outgoing flow indexes

add

public void add(Integer fromIndex,
                int tokenFlowIndex)

Adds a flow to the table

Parameters:

fromIndex - source element index

tokenFlowIndex - flow index