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

LibraryAliasedImpl

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

Default implementation class of AliasedLibrary

Author

Enrico

Constructors

LibraryAliasedImpl

fun LibraryAliasedImpl( operators: <ERROR CLASS>, theory: <ERROR CLASS>, primitives: Map<Signature, Primitive>, functions: Map<Signature, LogicFunction>, alias: String)

Functions

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

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

open override fun hashCode(): Int

open fun hasPrimitive(signature: Signature): Boolean

Checks whether this library has a Primitive with provided signature

open fun hasProtected(signature: Signature): Boolean

Checks whether the provided signature, is protected in this library

open override fun toString(): String

Properties

open override val alias: String

The library alias

open override val functions: Map<Signature, LogicFunction>

The library prolog functions, identified by their signature

open override val operators: <ERROR CLASS>

Library defined operators

open override val primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

open override val theory: <ERROR CLASS>

The library theory clauses