Coverage Summary for Class: BranchLookupKt (it.unibo.tuprolog.argumentation.core.runtime.context)
| Class |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| BranchLookupKt |
100%
(1/1)
|
100%
(1/1)
|
|
100%
(1/1)
|
100%
(19/19)
|
package it.unibo.tuprolog.argumentation.core.runtime.context
import it.unibo.tuprolog.core.Integer
import it.unibo.tuprolog.core.Struct
// The lookup of a goal in a branch: context_check(Branch, Goal)
internal fun branchLookup(branch: Int) = StoreLookup { Struct.of("context_check", Integer.of(branch), it) }