LibraryImpl

open class LibraryImpl: Library, Any

Default implementation class of Library

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, PrologFunction>

The library prolog functions, identified by their signature

Constructors

<init>

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

Default implementation class of Library

Parameters

Name Description
operators: OperatorSet
theory: Theory
primitives: Map<Signature, Primitive>
functions: Map<Signature, PrologFunction>

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

Extensions

getAllOperators

fun Library.getAllOperators(): Sequence<Operator>

Receiver

Name Description
Library

ReturnValue

Name Description
Sequence<Operator>