AbstractClassicSolver

Fields

Name	Description
`protected open lateinit var currentContext: ClassicExecutionContext`

Constructors

<init>

constructor(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>, trustKb: Boolean)

Parameters

Name	Description
`libraries: Libraries`
`flags: FlagStore`
`staticKb: Theory`
`dynamicKb: Theory`
`stdIn: InputChannel<String>`
`stdOut: OutputChannel<String>`
`stdErr: OutputChannel<String>`
`warnings: OutputChannel<Warning>`
`trustKb: Boolean`

<init>

constructor(libraries: Libraries, flags: FlagStore, initialStaticKb: Theory, initialDynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean)

Parameters

Name	Description
`libraries: Libraries`
`flags: FlagStore`
`initialStaticKb: Theory`
`initialDynamicKb: Theory`
`inputChannels: InputStore`
`outputChannels: OutputStore`
`trustKb: Boolean`

Methods

initializeContext

protected fun initializeContext(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, operators: OperatorSet, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean): ClassicExecutionContext

Parameters

Name	Description
`libraries: Libraries`
`flags: FlagStore`
`staticKb: Theory`
`dynamicKb: Theory`
`operators: OperatorSet`
`inputChannels: InputStore`
`outputChannels: OutputStore`
`trustKb: Boolean`

ReturnValue

Name	Description
`ClassicExecutionContext`

solveImpl

protected fun solveImpl(goal: Struct, options: SolveOptions): Sequence<Solution>

Parameters

Name	Description
`goal: Struct`
`options: SolveOptions`

ReturnValue

Name	Description
`Sequence<Solution>`

solutionIterator

protected abstract fun solutionIterator(initialState: State, onStateTransition: (State, State, Long)->Unit): SolutionIterator

Parameters

Name	Description
`initialState: State`
`onStateTransition: (State, State, Long)->Unit`

ReturnValue

Name	Description
`SolutionIterator`

copy

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

Parameters

Name	Description
`libraries: Libraries`
`flags: FlagStore`
`staticKb: Theory`
`dynamicKb: Theory`
`stdIn: InputChannel<String>`
`stdOut: OutputChannel<String>`
`stdErr: OutputChannel<String>`
`warnings: OutputChannel<Warning>`

ReturnValue

Name	Description
`AbstractClassicSolver`

clone

abstract fun clone(): AbstractClassicSolver

ReturnValue

Name	Description
`AbstractClassicSolver`

Extensions

solve

fun Solver.solve(maxDuration: TimeDuration, scopedContext: Scope.()->Struct): Sequence<Solution>

Receiver

Name	Description
`Solver`

Parameters

Name	Description
`maxDuration: TimeDuration`
`scopedContext: Scope.()->Struct`

ReturnValue

Name	Description
`Sequence<Solution>`