solve-classic/it.unibo.tuprolog.solve.classic/ClassicSolverFactory

ClassicSolverFactory

object ClassicSolverFactory
Content copied to clipboard

Functions

Link copied to clipboard
open fun mutableSolverOf(    libraries: <ERROR CLASS>,     flags: <ERROR CLASS>,     staticKb: <ERROR CLASS>,     dynamicKb: <ERROR CLASS>,     stdIn: <ERROR CLASS><String>,     stdOut: <ERROR CLASS><String>,     stdErr: <ERROR CLASS><String>,     warnings: <ERROR CLASS><<ERROR CLASS>>): <ERROR CLASS>
Content copied to clipboard
Link copied to clipboard
open fun solverOf(    libraries: <ERROR CLASS>,     flags: <ERROR CLASS>,     staticKb: <ERROR CLASS>,     dynamicKb: <ERROR CLASS>,     stdIn: <ERROR CLASS><String>,     stdOut: <ERROR CLASS><String>,     stdErr: <ERROR CLASS><String>,     warnings: <ERROR CLASS><<ERROR CLASS>>): <ERROR CLASS>
Content copied to clipboard

Properties

Link copied to clipboard
open val defaultBuiltins: <ERROR CLASS>
Content copied to clipboard