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

abstract class AbstractLibrary : Library, AbstractPluggable() {
    override val operators: OperatorSet
        get() = OperatorSet.EMPTY

    override val clauses: List
        get() = emptyList()

    override val primitives: Map
        get() = emptyMap()

    override val functions: Map
        get() = emptyMap()

    override fun toString(): String {
        return "${super.toString()}(" +
            "alias=" + alias +
            ", primitives=" +
            primitives.keys.joinToString(", ", "{", "}") {
                "'${it.name}'/${it.arity}"
            } + ", functions=" +
            functions.keys.joinToString(", ", "{", "}") {
                "'${it.name}'/${it.arity}"
            } + ", theory=" + clauses.joinToString(". ", "{", "}") +
            ", operators=" +
            operators.joinToString(", ", "{", "}") {
                "'${it.functor}':${it.priority}:${it.specifier}"
            } + ")"
    }

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (other !is Library) return false

        if (alias != other.alias) return false
        if (operators != other.operators) return false
        if (clauses != other.clauses) return false
        if (primitives != other.primitives) return false
        if (functions != other.functions) return false

        return true
    }

    override fun hashCode(): Int {
        var result = alias.hashCode()
        result = 31 * result + operators.hashCode()
        result = 31 * result + clauses.hashCode()
        result = 31 * result + primitives.hashCode()
        result = 31 * result + functions.hashCode()
        return result
    }
}