LibraryGroup

Represents a group of Library objects

Functions

open operator fun contains(operator: <ERROR CLASS>): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

Checks whether this library has a Primitive with provided signature

Checks whether the provided signature, is protected in this library

abstract operator fun minus(library: L): LibraryGroup<L>

Removes the library from this library group

abstract operator fun plus(library: L): LibraryGroup<L>

Adds a library to this library group

abstract operator fun plus(libraryGroup: LibraryGroup<L>): LibraryGroup<L>

Adds all libraries in provided libraryGroup to this libraryGroup

abstract fun update(library: L): LibraryGroup<L>

Updates an already contained library, with given library

The library prolog functions, identified by their signature

All libraries composing this library group

abstract val operators: <ERROR CLASS>

Library defined operators

The library primitives, identified by their signatures

abstract val theory: <ERROR CLASS>

The library theory clauses