solve/it.unibo.tuprolog.solve.sideffects/SideEffect/AlterAliasedLibraries

AlterAliasedLibraries

abstract class AlterAliasedLibraries : SideEffect.AlterLibraries
Content copied to clipboard

Constructors

Link copied to clipboard
fun AlterAliasedLibraries()
Content copied to clipboard

Functions

Link copied to clipboard
abstract fun applyTo(context: ExecutionContext): ExecutionContext
Content copied to clipboard

Properties

Link copied to clipboard
abstract val libraries: Libraries
Content copied to clipboard

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard