commonMain.it.unibo.tuprolog.solve.library.impl.LibraryImpl.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

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.library.impl

import it.unibo.tuprolog.core.Clause
import it.unibo.tuprolog.core.operators.OperatorSet
import it.unibo.tuprolog.solve.Signature
import it.unibo.tuprolog.solve.function.LogicFunction
import it.unibo.tuprolog.solve.library.Library
import it.unibo.tuprolog.solve.primitive.Primitive

/**
 * Default implementation class of [Library]
 *
 * @author Enrico
 */
internal data class LibraryImpl(
    override val alias: String,
    override val operators: OperatorSet,
    override val clauses: List,
    override val primitives: Map,
    override val functions: Map,
) : AbstractLibrary() {
    init {
        require(alias.isNotBlank())
    }
}