Uses of Class
de.cau.cs.kieler.krep.evalbench.program.kep.ThreadID

Packages that use ThreadID
de.cau.cs.kieler.krep.evalbench.program.kep   
 

Uses of ThreadID in de.cau.cs.kieler.krep.evalbench.program.kep
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep that return ThreadID
 ThreadID Program.getThread(String id)
           
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type ThreadID
 void Program.addThread(ThreadID thread)
           
 

Constructors in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type ThreadID
Par(Label addr, ThreadID thread, SCLine sc)
           
Prio(ThreadID thread, SCLine sc)