commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagramVisitor.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

import kotlin.js.JsName

/**
 * Implements the Visitor pattern over a [BinaryDecisionDiagram] to its
 * hierarchy, which only includes instances of [BinaryDecisionDiagram.Terminal]
 * and [BinaryDecisionDiagram.Variable]. This abstraction is the method of choice
 * to explore the internal structure of a BDD.
 *
 * @author Jason Dellaluce
 */
interface BinaryDecisionDiagramVisitor, E> {

    companion object

    @JsName("visitTerminal")
    fun visit(node: BinaryDecisionDiagram.Terminal): E

    @JsName("visitVariable")
    fun visit(node: BinaryDecisionDiagram.Variable): E
}