solve/it.unibo.tuprolog.solve.impl/AbstractSolver

AbstractSolver

abstract class AbstractSolver<E : ExecutionContext>( libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), initialStaticKb: <ERROR CLASS> = Theory.empty(), initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), trustKb: Boolean = false) : Solver

Constructors

fun AbstractSolver( libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), initialStaticKb: <ERROR CLASS> = Theory.empty(), initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), trustKb: Boolean = false)

Functions

abstract override fun clone(): AbstractSolver<E>

abstract override fun copy( libraries: Libraries, flags: FlagStore, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): AbstractSolver<E>

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open fun solve(goal: <ERROR CLASS>): Sequence<Solution>

override fun solve(goal: <ERROR CLASS>, options: SolveOptions): Sequence<Solution>

open fun solve(goal: <ERROR CLASS>, timeout: TimeDuration): Sequence<Solution>

open fun solveList(goal: <ERROR CLASS>): List<Solution>

open fun solveList(goal: <ERROR CLASS>, options: SolveOptions): List<Solution>

open fun solveList(goal: <ERROR CLASS>, timeout: TimeDuration): List<Solution>

open fun solveOnce(goal: <ERROR CLASS>): Solution

open fun solveOnce(goal: <ERROR CLASS>, options: SolveOptions): Solution

open fun solveOnce(goal: <ERROR CLASS>, timeout: TimeDuration): Solution

open override fun toString(): String

Properties

override val dynamicKb: <ERROR CLASS>

Dynamic Knowledge-base, that is a KB that can change executing goals

override val flags: FlagStore

Enabled flags

override val inputChannels: InputStore

The currently open input channels

override val libraries: Libraries

Loaded libraries

override val operators: <ERROR CLASS>

Loaded operators

override val outputChannels: OutputStore

The currently open output channels

open val standardError: OutputChannel<String>

Shortcut for the standard error channel defined in outputChannels. Returns null if the channel is closed

open val standardInput: InputChannel<String>

Shortcut for the standard input channel defined in inputChannels. Returns null if the channel is closed

open val standardOutput: OutputChannel<String>

Shortcut for the standard output channel defined in outputChannels. Returns null if the channel is closed

override val staticKb: <ERROR CLASS>

Static Knowledge-base, that is a KB that can't change executing goals

open val warnings: OutputChannel<Warning>

Shortcut for the warnings channel defined in outputChannels. Returns null if the channel is closed