AbstractClassicSolver

abstract class AbstractClassicSolver(libraries: Libraries, flags: FlagStore, initialStaticKb: Theory, initialDynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean) : AbstractSolver<ClassicExecutionContext>

Constructors

fun AbstractClassicSolver(libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), staticKb: Theory = Theory.empty(), dynamicKb: Theory = MutableTheory.empty(), stdIn: InputChannel<String> = InputChannel.stdIn(), stdOut: OutputChannel<String> = OutputChannel.stdOut(), stdErr: OutputChannel<String> = OutputChannel.stdErr(), warnings: OutputChannel<Warning> = OutputChannel.warn(), trustKb: Boolean = false)

Functions

clone

abstract override fun clone(): AbstractClassicSolver

copy

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

equals

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

hashCode

open override fun hashCode(): Int

solve

open fun solve(goal: Struct): Sequence<Solution>

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

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

solveList

open fun solveList(goal: Struct): List<Solution>

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

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

solveOnce

open fun solveOnce(goal: Struct): Solution

open fun solveOnce(goal: Struct, options: SolveOptions): Solution

open fun solveOnce(goal: Struct, timeout: TimeDuration): Solution

toString

open override fun toString(): String

Properties

dynamicKb

override val dynamicKb: Theory

flags

override val flags: FlagStore

inputChannels

override val inputChannels: InputStore

libraries

override val libraries: Libraries

operators

override val operators: OperatorSet

outputChannels

override val outputChannels: OutputStore

standardError

open val standardError: OutputChannel<String>

standardInput

open val standardInput: InputChannel<String>

standardOutput

open val standardOutput: OutputChannel<String>

staticKb

override val staticKb: Theory

warnings

open val warnings: OutputChannel<Warning>