solve/it.unibo.tuprolog.solve.library/Libraries

Libraries

class Libraries : LibraryGroup<AliasedLibrary> , Map<String, AliasedLibrary>

A class representing an agglomerate of libraries with an alias

Types

Companion

object Companion

Functions

contains

open operator fun contains(operator: <ERROR CLASS>): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

containsKey

open override fun containsKey(key: String): Boolean

containsValue

open override fun containsValue(value: AliasedLibrary): Boolean

equals

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

get

open operator override fun get(key: String): AliasedLibrary?

hashCode

open override fun hashCode(): Int

hasPrimitive

open fun hasPrimitive(signature: Signature): Boolean

Checks whether this library has a Primitive with provided signature

hasProtected

open fun hasProtected(signature: Signature): Boolean

Checks whether the provided signature, is protected in this library

isEmpty

open override fun isEmpty(): Boolean

minus

open operator override fun minus(library: AliasedLibrary): Libraries

Removes the library from this library group

operator fun minus(alias: String): Libraries

operator fun minus(aliases: Iterable<String>): Libraries

plus

open operator override fun plus(library: AliasedLibrary): Libraries

Adds a library to this library group

open operator override fun plus(libraryGroup: LibraryGroup<AliasedLibrary>): Libraries

Adds all libraries in provided libraryGroup to this libraryGroup

toString

open override fun toString(): String

update

open override fun update(library: AliasedLibrary): Libraries

Updates an already contained library, with given library

Properties

entries

open override val entries: Set<Map.Entry<String, AliasedLibrary>>

functions

open override val functions: Map<Signature, LogicFunction>

The library prolog functions, identified by their signature

keys

open override val keys: Set<String>

libraries

open override val libraries: Collection<AliasedLibrary>

All libraries composing this library group

libraryAliases

val libraryAliases: Set<String>

All library aliases of libraries included in this library group

operators

open override val operators: <ERROR CLASS>

Library defined operators

primitives

open override val primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

size

open override val size: Int

theory

open override val theory: <ERROR CLASS>

The library theory clauses

values

open override val values: Collection<AliasedLibrary>

Extensions

getAllOperators

fun Libraries.getAllOperators(): Sequence<<ERROR CLASS>>