commonMain.it.unibo.tuprolog.solve.streams.solver.fsm.AbstractState.kt Maven / Gradle / Ivy

Go to download

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

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.streams.solver.fsm

import it.unibo.tuprolog.solve.primitive.Solve

/**
 * Base class for all States refactoring common behaviour
 *
 * @author Enrico
 */
internal abstract class AbstractState(override val solve: Solve) : State {
    override val hasBehaved = false
}