it.unibo.tuprolog.solve.library

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

Methods

plus

operator fun <L : AliasedLibrary> L.plus(library: L): LibraryGroup<AliasedLibrary>

Creates a library group from this library aliased and the "added" one

Receiver

Name Description
L

Parameters

Name Description
library: L

ReturnValue

Name Description
LibraryGroup<AliasedLibrary>