package it.unibo.tuprolog.solve.library
Classes
Name | Description |
---|---|
interface AliasedLibrary: Library, Any
|
Represents a Library that can have an alias |
class Libraries: LibraryGroup<AliasedLibrary>, Map<String, AliasedLibrary>, Any
|
A class representing an agglomerate of libraries with an alias |
interface Library: Any
|
Represents a Prolog library |
interface LibraryGroup<L : Library> : Library, Any
|
Represents a group of Library objects |
Subpackages
Name | Description |
---|---|
package it.unibo.tuprolog.solve.library.exception
|
|
package it.unibo.tuprolog.solve.library.impl
|
Methods
plus
operator fun <L : AliasedLibrary> L.plus(library: L): LibraryGroup<AliasedLibrary>
Receiver
Name | Description |
---|---|
L
|
Parameters
Name | Description |
---|---|
library: L
|
ReturnValue
Name | Description |
---|---|
LibraryGroup<AliasedLibrary>
|
Creates a library group from this library aliased and the "added" one