starlink.ColouredAutomata
Class ProtocolBridge

java.lang.Object
  starlink.ColouredAutomata.ProtocolBridge

public class ProtocolBridge
extends java.lang.Object

Author:

gracep

Field Summary

java.util.HashMap

stms

Constructor Summary

ProtocolBridge()

Method Summary

void	addAutomata(java.lang.String str)
void	deploy()
void	execute()

Methods inherited from class java.lang.Object

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

Field Detail

stms

public java.util.HashMap stms

Constructor Detail

ProtocolBridge

public ProtocolBridge()

Method Detail

addAutomata

public void addAutomata(java.lang.String str)

deploy

public void deploy()

execute

public void execute()