commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetOf.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation
Show all versions of solve-jvm Show documentation
Resolution-agnostic API for logic solvers
package it.unibo.tuprolog.solve.stdlib.primitive
import it.unibo.tuprolog.core.Term
object SetOf : AbstractCollectionOf("setof") {
override fun processSolutions(list: List): Iterable = LinkedHashSet(list)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy