Package org.bigraphs.framework.core.reactivesystem

Class TransitionTriple<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.core.reactivesystem.TransitionTriple<B>

public class TransitionTriple<B extends Bigraph<? extends Signature<?>>>
extends Object

A transition of a labelled transition system is a triple containing the source and target and the label (i.e., the arrow itself which is a bigraph as well).

Author:

Dominik Grzelak

Constructor Summary

Constructors

Constructor	Description
TransitionTriple(ReactiveSystem<B> transitionOwner, B source, B label, B target)

Method Summary

Modifier and Type	Method	Description
B	getLabel()
B	getSource()
B	getTarget()
ReactiveSystem<B>	getTransitionOwner()
boolean	isEngagedTransition()

Methods inherited from class java.lang.Object

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

Constructor Details

TransitionTriple

public TransitionTriple(ReactiveSystem<B> transitionOwner,
 B source,
 B label,
 B target)

Method Details

isEngagedTransition

public boolean isEngagedTransition()

getTransitionOwner

public ReactiveSystem<B> getTransitionOwner()

getSource

public B getSource()

getLabel

public B getLabel()

getTarget

public B getTarget()