solve/it.unibo.tuprolog.solve.library.impl

Package it.unibo.tuprolog.solve.library.impl

Types

Link copied to clipboard
open class LibraryAliasedImpl(    val operators: <ERROR CLASS>,     val theory: <ERROR CLASS>,     val primitives: Map<Signature, Primitive>,     val functions: Map<Signature, LogicFunction>,     val alias: String) : LibraryImpl, AliasedLibrary
Content copied to clipboard

Default implementation class of AliasedLibrary

Link copied to clipboard
open class LibraryImpl(    val operators: <ERROR CLASS>,     val theory: <ERROR CLASS>,     val primitives: Map<Signature, Primitive>,     val functions: Map<Signature, LogicFunction>) : Library
Content copied to clipboard

Default implementation class of Library