open class LibraryImpl: Library, Any
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 |
Constructors
<init>
constructor(operators: OperatorSet, theory: Theory, primitives: Map<Signature, Primitive>, functions: Map<Signature, LogicFunction>)
Default implementation class of Library
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
|
theory: Theory
|
|
primitives: Map<Signature, Primitive>
|
|
functions: Map<Signature, LogicFunction>
|
Methods
equals
open fun equals(other: Any?): Boolean
Parameters
| Name | Description |
|---|---|
other: Any?
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
hashCode
open fun hashCode(): Int
ReturnValue
| Name | Description |
|---|---|
Int
|
toString
open fun toString(): String
ReturnValue
| Name | Description |
|---|---|
String
|
Default implementation class of Library