Libraries

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

A class representing an agglomerate of libraries with an alias

Fields

Name Description
val libraryAliases: Set<String>

All library aliases of libraries included in this library group

val libraries: Collection<AliasedLibrary>

All libraries composing this library group

val operators: OperatorSet

Library defined operators

val theory: Theory

The library theory clauses

val primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

val functions: Map<Signature, PrologFunction>

The library prolog functions, identified by their signature

Constructors

<init>

constructor(vararg library: AliasedLibrary)

Parameters

Name Description
vararg library: AliasedLibrary

<init>

constructor(libraries: Iterable<AliasedLibrary>)

Parameters

Name Description
libraries: Iterable<AliasedLibrary>

<init>

constructor(libraries: Sequence<AliasedLibrary>)

A class representing an agglomerate of libraries with an alias

Parameters

Name Description
libraries: Sequence<AliasedLibrary>

Methods

plus

fun plus(library: AliasedLibrary): Libraries

Adds a library to this library group

Parameters

Name Description
library: AliasedLibrary

ReturnValue

Name Description
Libraries

plus

fun plus(libraryGroup: LibraryGroup<AliasedLibrary>): Libraries

Adds all libraries in provided libraryGroup to this libraryGroup

Parameters

Name Description
libraryGroup: LibraryGroup<AliasedLibrary>

ReturnValue

Name Description
Libraries

minus

fun minus(library: AliasedLibrary): Libraries

Removes the library from this library group

Parameters

Name Description
library: AliasedLibrary

ReturnValue

Name Description
Libraries

minus

operator fun minus(alias: String): Libraries

Parameters

Name Description
alias: String

ReturnValue

Name Description
Libraries

minus

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

Parameters

Name Description
aliases: Iterable<String>

ReturnValue

Name Description
Libraries

update

fun update(library: AliasedLibrary): Libraries

Updates an already contained library, with given library

Parameters

Name Description
library: AliasedLibrary

ReturnValue

Name Description
Libraries

equals

fun equals(other: Any?): Boolean

Parameters

Name Description
other: Any?

ReturnValue

Name Description
Boolean

hashCode

fun hashCode(): Int

ReturnValue

Name Description
Int

toString

fun toString(): String

ReturnValue

Name Description
String

Extensions

getAllOperators

fun Libraries.getAllOperators(): Sequence<Operator>

Receiver

Name Description
Libraries

ReturnValue

Name Description
Sequence<Operator>