class Libraries: LibraryGroup<AliasedLibrary>, Map<String, AliasedLibrary>, Any
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, LogicFunction>
|
The library prolog functions, identified by their signature |
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
CompanionObject
Libraries
class Libraries: LibraryGroup<AliasedLibrary>, Map<String, AliasedLibrary>, Any
A class representing an agglomerate of libraries with an alias
Methods
of
fun of(vararg library: AliasedLibrary): Libraries
Parameters
| Name | Description |
|---|---|
vararg library: AliasedLibrary
|
ReturnValue
| Name | Description |
|---|---|
Libraries
|
of
fun of(libraries: Iterable<AliasedLibrary>): Libraries
Parameters
| Name | Description |
|---|---|
libraries: Iterable<AliasedLibrary>
|
ReturnValue
| Name | Description |
|---|---|
Libraries
|
of
fun of(libraries: Sequence
Parameters
| Name | Description |
|---|---|
libraries: Sequence
|
ReturnValue
| Name | Description |
|---|---|
Libraries
|
A class representing an agglomerate of libraries with an alias