DefaultBuiltins

object DefaultBuiltins : AliasedLibrary

Functions

contains

open operator override fun contains(operator: Operator): Boolean

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

hasPrimitive

open override fun hasPrimitive(signature: Signature): Boolean

hasProtected

open override fun hasProtected(signature: Signature): Boolean

Properties

alias

open override val alias: String

functions

open override val functions: Map<Signature, LogicFunction>

operators

open override val operators: OperatorSet

primitives

open override val primitives: Map<Signature, Primitive>

theory

open override val theory: Theory