LibraryAliasedImpl

open class LibraryAliasedImpl: LibraryImpl, AliasedLibrary

Default implementation class of AliasedLibrary

Fields

Name Description
open operators: OperatorSet

Library defined operators

open theory: Theory

The library theory clauses

open primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

open functions: Map<Signature, LogicFunction>

The library prolog functions, identified by their signature

open alias: String

The library alias

Constructors

<init>

constructor(operators: OperatorSet, theory: Theory, primitives: Map<Signature, Primitive>, functions: Map<Signature, LogicFunction>, alias: String)

Default implementation class of AliasedLibrary

Parameters

Name Description
operators: OperatorSet
theory: Theory
primitives: Map<Signature, Primitive>
functions: Map<Signature, LogicFunction>
alias: String

Methods

toString

open fun toString(): String

ReturnValue

Name Description
String

Extensions

getAllOperators

fun Library.getAllOperators(): Sequence<Operator>

Receiver

Name Description
Library

ReturnValue

Name Description
Sequence<Operator>

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>