de.upb.swt.epctools.simulator.explicit
Class State

java.lang.Object
  de.upb.swt.epctools.simulator.explicit.State

 class State
extends java.lang.Object

Implements the state of a transition system of an EPC.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

(package private) java.util.BitSet	bitset The assignment of folder to arcs of the EPC.
(package private) java.util.Vector	intransitions All incoming transitions to this state.
(package private) boolean[]	marking Represents the bits set during the backwards marking algorithm for calculating soundness.
(package private) boolean[]	orJoinBlocked The flags for blocking an OR-join connector because a folder could arrive at one of the other input arcs.
(package private) boolean[]	orJoinConstructed The flags indicating that an OR-join transition was already constructed starting in this state.
(package private) java.util.Vector	outtransitions All outgoing transitions to this state.
(package private) TransitionSystem	transitionsystem The transitionsystem this state belongs to.
(package private) boolean[]	xorJoinBlocked The flags for blocking an XOR-join connector because a folder could arrive at one of the other input arcs.
(package private) boolean[]	xorJoinConstructed The flags indicating that an XOR-join transition was already constructed starting in this state.

Constructor Summary

State(TransitionSystem transitionsystem, java.util.BitSet bitset)
Creates a new state of a transition system.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

bitset

java.util.BitSet bitset

The assignment of folder to arcs of the EPC. This assignment is represented as a set of bits, where each true bit represents a folder on the respective arc of the EPC data structure.

intransitions

java.util.Vector intransitions

All incoming transitions to this state.

outtransitions

java.util.Vector outtransitions

All outgoing transitions to this state.

orJoinBlocked

boolean[] orJoinBlocked

The flags for blocking an OR-join connector because a folder could arrive at one of the other input arcs.

orJoinConstructed

boolean[] orJoinConstructed

The flags indicating that an OR-join transition was already constructed starting in this state.

xorJoinBlocked

boolean[] xorJoinBlocked

The flags for blocking an XOR-join connector because a folder could arrive at one of the other input arcs.

xorJoinConstructed

boolean[] xorJoinConstructed

The flags indicating that an XOR-join transition was already constructed starting in this state.

transitionsystem

TransitionSystem transitionsystem

The transitionsystem this state belongs to.

marking

boolean[] marking

Represents the bits set during the backwards marking algorithm for calculating soundness.

Constructor Detail

State

State(TransitionSystem transitionsystem,
      java.util.BitSet bitset)

Creates a new state of a transition system.

Parameters:

transitionsystem - the transition system

bitset - the folder assignment