Coverage Summary for Class: Deduplicate (it.unibo.tuprolog.argumentation.core.primitives.utils)

 package it.unibo.tuprolog.argumentation.core.primitives.utils
 
 import it.unibo.tuprolog.core.List
 import it.unibo.tuprolog.core.Substitution
 import it.unibo.tuprolog.core.Term
 import it.unibo.tuprolog.solve.ExecutionContext
 import it.unibo.tuprolog.solve.primitive.BinaryRelation
 import it.unibo.tuprolog.solve.primitive.Solve
 
 /**
  * deduplicate(+List, ?Deduplicated): standard order of terms, duplicates removed (as setof/3)
  */
 internal object Deduplicate : BinaryRelation.WithoutSideEffects<ExecutionContext>("deduplicate") {
     override fun Solve.Request<ExecutionContext>.computeAllSubstitutions(
         first: Term,
         second: Term,
     ): Sequence<Substitution> = if (first is List) unifyWith(second, List.of(first.distinctSortedTerms())) else emptySequence()
 }