Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

com.uppaal.engine
Interface Job

public interface Job

Method Summary
 void error(Throwable e)
           
 void run(Engine engine)
           
 

Method Detail

run

void run(Engine engine)
         throws Exception
Throws:
Exception

error

void error(Throwable e)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.