-
-
Method Summary
Methods
Modifier and Type |
Method and Description |
void |
test() |
-
Methods inherited from class cz.cuni.amis.pogamut.ut2004.test.UT2004Test
afterTest, awaitAgentDown, awaitAgentUp, beforeTest, endUcc, startAllUTBots, startUCC, startUTBot, startUTBot, startUTObserver, startUTServer
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.