Coverage Summary for Class: OrderingPrinciple (it.unibo.tuprolog.argumentation.core.flags)
| Class |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| OrderingPrinciple |
100%
(1/1)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(16/16)
|
package it.unibo.tuprolog.argumentation.core.flags
/** Which rules and premises of two arguments their comparison weighs (see the module superiority) */
object OrderingPrinciple : ArgsFlag<String, Iterable<String>> {
override fun predicate(): String = "orderingPrinciple"
override fun default(): String = "last"
override fun values(): Iterable<String> = listOf("last", "weakest")
}