AbstractPluggable

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

Constructors

constructor()

Rules, facts, or directories to be loaded by a solver when the library is used

LogicFunctions to be loaded by a solver when the library is used, indexed by their Signature in the eyes of the solver

Operators to be loaded by a solver when the library is used

Primitives to be loaded by a solver when the library is used, indexed by their Signature in the eyes of the solver

The Signature of every Rule (i.e. non-fact clause) among clauses, deduplicated.

open operator fun contains(operator: Operator): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

Checks whether this library has a LogicFunction with provided signature

Checks whether this library has a Primitive with provided signature

Checks whether the provided signature, is protected in this library

open override fun hasRule(signature: Signature): Boolean

Checks whether this library has a Rule with provided signature