• Home
• it.unibo.tuprolog
• solve-streams-jvm
• 0.17.1-dev0v+25724c0c
• source code
• SolverExtensions.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.solve.streams.SolverExtensions.kt Maven / Gradle / Ivy

@file:JvmName("SolverExtensions")

package it.unibo.tuprolog.solve.streams

import it.unibo.tuprolog.solve.MutableSolver
import it.unibo.tuprolog.solve.Solver
import it.unibo.tuprolog.solve.channel.InputChannel
import it.unibo.tuprolog.solve.channel.OutputChannel
import it.unibo.tuprolog.solve.exception.PrologWarning
import it.unibo.tuprolog.solve.flags.FlagStore
import it.unibo.tuprolog.solve.library.Libraries
import it.unibo.tuprolog.theory.Theory
import kotlin.jvm.JvmName

fun Solver.Companion.streams(
    libraries: Libraries = StreamsSolverFactory.defaultLibraries,
    flags: FlagStore = StreamsSolverFactory.defaultFlags,
    staticKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    dynamicKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    stdIn: InputChannel = StreamsSolverFactory.defaultInputChannel,
    stdOut: OutputChannel = StreamsSolverFactory.defaultOutputChannel,
    stdErr: OutputChannel = StreamsSolverFactory.defaultErrorChannel,
    warnings: OutputChannel = StreamsSolverFactory.defaultWarningsChannel
): Solver =
    StreamsSolverFactory.solverOf(libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings)

fun Solver.Companion.streamsWithDefaultBuiltins(
    libraries: Libraries = StreamsSolverFactory.defaultLibraries,
    flags: FlagStore = StreamsSolverFactory.defaultFlags,
    staticKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    dynamicKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    stdIn: InputChannel = StreamsSolverFactory.defaultInputChannel,
    stdOut: OutputChannel = StreamsSolverFactory.defaultOutputChannel,
    stdErr: OutputChannel = StreamsSolverFactory.defaultErrorChannel,
    warnings: OutputChannel = StreamsSolverFactory.defaultWarningsChannel
): Solver =
    StreamsSolverFactory.solverWithDefaultBuiltins(libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings)

fun MutableSolver.Companion.streams(
    libraries: Libraries = StreamsSolverFactory.defaultLibraries,
    flags: FlagStore = StreamsSolverFactory.defaultFlags,
    staticKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    dynamicKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    stdIn: InputChannel = StreamsSolverFactory.defaultInputChannel,
    stdOut: OutputChannel = StreamsSolverFactory.defaultOutputChannel,
    stdErr: OutputChannel = StreamsSolverFactory.defaultErrorChannel,
    warnings: OutputChannel = StreamsSolverFactory.defaultWarningsChannel
): MutableSolver =
    StreamsSolverFactory.mutableSolverOf(libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings)

fun MutableSolver.Companion.streamsWithDefaultBuiltins(
    libraries: Libraries = StreamsSolverFactory.defaultLibraries,
    flags: FlagStore = StreamsSolverFactory.defaultFlags,
    staticKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    dynamicKb: Theory = StreamsSolverFactory.defaultDynamicKb,
    stdIn: InputChannel = StreamsSolverFactory.defaultInputChannel,
    stdOut: OutputChannel = StreamsSolverFactory.defaultOutputChannel,
    stdErr: OutputChannel = StreamsSolverFactory.defaultErrorChannel,
    warnings: OutputChannel = StreamsSolverFactory.defaultWarningsChannel
): MutableSolver =
    StreamsSolverFactory.mutableSolverWithDefaultBuiltins(libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings)