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

AlterLibrariesByName

abstract class AlterLibrariesByName(val aliases: Iterable<String>) : SideEffect.AlterLibraries
Content copied to clipboard

Constructors

Link copied to clipboard
fun AlterLibrariesByName(aliases: Iterable<String>)
Content copied to clipboard

Functions

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

Properties

Link copied to clipboard
open val aliases: Iterable<String>
Content copied to clipboard

Inheritors

Link copied to clipboard