solve/it.unibo.tuprolog.solve.library/Library/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun aliased(    alias: String,     primitives: Map<Signature, Primitive> = emptyMap(),     theory: <ERROR CLASS> = Theory.empty(),     operatorSet: <ERROR CLASS> = OperatorSet(),     functions: Map<Signature, LogicFunction> = emptyMap()): AliasedLibrary
Content copied to clipboard

Creates an instance of AliasedLibrary with given parameters

Link copied to clipboard
@JvmStatic
fun of(alias: String, library: Library): AliasedLibrary
Content copied to clipboard

Creates an instance of AliasedLibrary starting from Library and an alias

Link copied to clipboard
@JvmStatic
fun <T> Iterable<Pair<Signature, T>>.toMapEnsuringNoDuplicates(): Map<Signature, T>
Content copied to clipboard
@JvmStatic
fun <T> Sequence<Pair<Signature, T>>.toMapEnsuringNoDuplicates(): Map<Signature, T>
Content copied to clipboard
Link copied to clipboard
@JvmStatic
@JvmOverloads
fun unaliased(    primitives: Map<Signature, Primitive> = emptyMap(),     theory: <ERROR CLASS> = Theory.empty(),     operatorSet: <ERROR CLASS> = OperatorSet(),     functions: Map<Signature, LogicFunction> = emptyMap()): Library
Content copied to clipboard

Creates an instance of Library with given parameters