Package-level declarations

Types

Link copied to clipboard

Base Library implementation defaulting every contribution (operators, clauses, primitives, functions) to empty, and providing structural equals/hashCode/toString; subclasses only need to override Library.alias plus whichever contributions they actually provide.

Link copied to clipboard
abstract class AbstractPluggable : Pluggable

Base Pluggable implementation providing hasRule via a lazily-computed, cached set of rulesSignatures.

Link copied to clipboard
abstract class ExtensionLibrary(extended: Library) : AbstractLibrary

Base class for a Library that decorates an extended one, contributing everything the extended library already has plus whatever additionalOperators/additionalRules/additionalPrimitives/additionalFunctions the subclass overrides. Keeps extended's Library.alias.