CommonBuiltins

Functions

open operator override fun contains(signature: Signature): Boolean

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

Checks whether this library contains the provided signature.

open override fun hasPrimitive(signature: Signature): Boolean

Checks whether this library has a Primitive with provided signature

open override fun hasProtected(signature: Signature): Boolean

Checks whether the provided signature, is protected in this library

open override val alias: String

The library alias

The library prolog functions, identified by their signature

open override val operators: <ERROR CLASS>

Library defined operators

The library primitives, identified by their signatures

open override val theory: <ERROR CLASS>

The library theory clauses