absynt
Class Transition

java.lang.Object
  |
  +--absynt.Absynt
        |
        +--absynt.Transition
All Implemented Interfaces:
java.io.Serializable

public class Transition
extends Absynt
implements java.io.Serializable

A transition of an SFC connects source and target step and is labelled with a guard.

Version:
$Id: Transition.java,v 1.6 2001/05/23 14:56:36 swprakt Exp $
Author:
Initially provided by Martin Steffen.
See Also:
Serialized Form

Field Summary
 Expr guard
           
 java.util.LinkedList source
           
 java.util.LinkedList target
           
 
Fields inherited from class absynt.Absynt
pos
 
Constructor Summary
Transition(java.util.LinkedList _s, Expr _g, java.util.LinkedList _t)
           
Transition(java.util.LinkedList _s, java.util.LinkedList _t)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

source

public java.util.LinkedList source

guard

public Expr guard

target

public java.util.LinkedList target
Constructor Detail

Transition

public Transition(java.util.LinkedList _s,
                  Expr _g,
                  java.util.LinkedList _t)

Transition

public Transition(java.util.LinkedList _s,
                  java.util.LinkedList _t)