Coverage Summary for Class: InterruptionKt (it.unibo.tuprolog.argumentation.core.engine.fsm)
| Class | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| InterruptionKt | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (2/2) |
package it.unibo.tuprolog.argumentation.core.engine.fsm
// On the JVM, a resolution runs on a thread of its own caller, which interrupts it to stop it (a timeout, a Stop)
internal actual fun resolutionInterrupted(): Boolean = Thread.currentThread().isInterrupted