solve/it.unibo.tuprolog.solve.library

Package it.unibo.tuprolog.solve.library

Types

Link copied to clipboard
interface AliasedLibrary : Library
Content copied to clipboard

Represents a Library that can have an alias

Link copied to clipboard
class Libraries : LibraryGroup<AliasedLibrary> , Map<String, AliasedLibrary>
Content copied to clipboard

A class representing an agglomerate of libraries with an alias

Link copied to clipboard
interface Library
Content copied to clipboard

Represents a Prolog library

Link copied to clipboard
interface LibraryGroup<L : Library> : Library
Content copied to clipboard

Represents a group of Library objects

Functions

Link copied to clipboard
operator fun <L : AliasedLibrary> L.plus(library: L): LibraryGroup<AliasedLibrary>
Content copied to clipboard

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