Constructors in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type KepSignal |
Abort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Aborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Add_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Addc_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
AddrSigInstruction(String id,
String name,
KepSignal sig,
Label addr,
SCLine sc)
|
AddrSigWatchInstruction(String id,
String name,
KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Andr_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Await(KepSignal sig,
SCLine sc)
|
Awaiti(KepSignal sig,
SCLine sc)
|
CAwait(KepSignal sig,
Label addr,
SCLine sc)
|
CAwaiti(KepSignal sig,
Label addr,
SCLine sc)
|
Cmp_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Cmps_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Emit_Reg(KepSignal sig,
SCLine sc)
|
Emit(KepSignal sig,
Data data,
SCLine sc)
|
Emit(KepSignal sig,
SCLine sc)
|
LAbort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
LAborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Load_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
LwAbort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
LwAborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Mul_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Orr_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Present(KepSignal sig,
Label addr,
SCLine sc)
|
RegContainer(Register target,
KepSignal sig)
|
Setv_Reg(KepSignal sig,
SCLine sc)
|
Setv(KepSignal sig,
Data data,
SCLine sc)
|
Setv(KepSignal sig,
SCLine sc)
|
SigDataInstruction(String id,
String name,
KepSignal sig,
Data data,
SCLine sc)
|
SigDataInstruction(String id,
String name,
KepSignal sig,
SCLine sc)
|
SigInstruction(String id,
String name,
KepSignal sig,
SCLine sc)
|
SignalIn(KepSignal sig,
SCLine sc)
|
SigRegInst(String id,
String name,
KepSignal sig,
SCLine sc)
|
SigRegInst(String id,
String name,
Register reg,
KepSignal sig,
SCLine sc)
|
Sub_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Subc_Sig(Register reg,
KepSignal sig,
SCLine sc)
|
Suspend(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Suspendi(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Sustain_Reg(KepSignal sig,
SCLine sc)
|
Sustain(KepSignal sig,
Data data,
SCLine sc)
|
Sustain(KepSignal sig,
SCLine sc)
|
Tabort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Taborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
TwAbort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
TwAborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
WAbort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
WAborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Xorr_Sig(Register reg,
KepSignal sig,
SCLine sc)
|