commonMain.it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramTerminal.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of bdd-jvm Show documentation

Multi-platform library for representing and manipulating Binary Decision Diagrams

There is a newer version: 1.0.4

package it.unibo.tuprolog.bdd.impl.builder

import it.unibo.tuprolog.bdd.BinaryDecisionDiagram

/**
 * @author Jason Dellaluce
 */
internal data class SimpleBinaryDecisionDiagramTerminal>(
    override val truth: Boolean
) : BinaryDecisionDiagram.Terminal {

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (other == null || this::class != other::class) return false

        other as SimpleBinaryDecisionDiagramTerminal<*>

        if (truth != other.truth) return false

        return true
    }

    override fun hashCode(): Int {
        return truth.hashCode()
    }
}