solve/it.unibo.tuprolog.solve.library/Libraries/plus

plus

open operator override fun plus(library: AliasedLibrary): Libraries
Content copied to clipboard

Adds a library to this library group


open operator override fun plus(libraryGroup: LibraryGroup<AliasedLibrary>): Libraries
Content copied to clipboard

Adds all libraries in provided libraryGroup to this libraryGroup