Package org.bigraphs.framework.core.reactivesystem

Class AbstractTransitionSystem.Transition

java.lang.Object

org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem.Transition

Enclosing class:

AbstractTransitionSystem<B,T>

public class AbstractTransitionSystem.Transition
extends Object

Inner class representing a transition relation.

Constructor Summary

Constructors

Constructor	Description
Transition(B source, B target, String label)
Transition(B source, B target, String label, List<BMatchResult<? extends Bigraph<? extends Signature<?>>>> matchResults)

Method Summary

Modifier and Type	Method	Description
String	getLabel()
List<BMatchResult<? extends Bigraph<? extends Signature<?>>>>	getMatchResults()
B	getSource()
B	getTarget()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Transition

public Transition(B source,
 B target,
 String label)

Transition

public Transition(B source,
 B target,
 String label,
 List<BMatchResult<? extends Bigraph<? extends Signature<?>>>> matchResults)

Method Details

getSource

public B getSource()

getTarget

public B getTarget()

getLabel

public String getLabel()

getMatchResults

public List<BMatchResult<? extends Bigraph<? extends Signature<?>>>> getMatchResults()

toString

public String toString()

Overrides:

toString in class Object