Coverage Summary for Class: StableModule (it.unibo.tuprolog.argumentation.core.modules.labelling.argument)

 package it.unibo.tuprolog.argumentation.core.modules.labelling.argument
 
 import it.unibo.tuprolog.argumentation.core.modules.PrologModule
 
 /**
  * The stable labellings (module `stable`, an argumentLabellingMode): those leaving no argument UND, built one
  * strongly connected component at a time (see the module scc).
  */
 object StableModule : PrologModule("prolog.argumentation.graph.labelling.stable", "stable") {
     override val prologRawTheory: String =
         // language=Prolog
         """
         %! locality(-Locality)
         %  Query mode: stable labellings depend on the whole graph (an odd cycle anywhere leaves none)
         locality(whole_graph).
 
         %! argumentLabelling
         %  Stable labellings are SCC-recursive: built component by component, leaving no argument UND
         argumentLabelling :-
             scc::label(decided, all).
         """.trimIndent()
 }