: Class Etransition

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

editor
Class Etransition

java.lang.Object
  |
  +--editor.EditorObject
        |
        +--editor.Etransition

Constructor Summary
`Etransition(Estate s, Estate t, Label l)`
`Etransition(Etransition lastetransition, Transition intransition, TransitionList intransitionlist)` wrappt eine Etransition um eine uebergebene absynt.Transition mit Liste

Methods inherited from class java.lang.Object

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

Constructor Detail

public Etransition(Estate s,
                   Estate t,
                   Label l)

public Etransition(Etransition lastetransition,
                   Transition intransition,
                   TransitionList intransitionlist)

wrappt eine Etransition um eine uebergebene absynt.Transition mit Liste