open class LibraryAliasedImpl: LibraryImpl, 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
Receiver
Name | Description |
---|---|
Library
|
ReturnValue
Name | Description |
---|---|
Sequence
|
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>
|
Default implementation class of AliasedLibrary