Companion

Properties

The character used to separate library alias from original name

fun of(alias: String = DEFAULT_ALIAS, library: Library): Library

Creates a copy of library renamed to alias ("default" by default).

fun of(primitives: Map<Signature, Primitive> = emptyMap(), clauses: Iterable<Clause> = emptyList(), operators: OperatorSet = OperatorSet(), functions: Map<Signature, LogicFunction> = emptyMap()): Library

Same as of, defaulting alias to "default".

fun of(alias: String, primitives: Map<Signature, Primitive> = emptyMap(), clauses: Iterable<Clause> = emptyList(), operators: OperatorSet = OperatorSet(), functions: Map<Signature, LogicFunction> = emptyMap()): Library

Same as Sequence.toMapEnsuringNoDuplicates, for an Iterable.

Collects this Sequence of (Signature, T) pairs into a Map, keeping insertion order.