core/it.unibo.tuprolog.argumentation.core.runtime.modules/DynamicLoader

DynamicLoader

class DynamicLoader(solver: Arg2pSolver) : ArgLibrary, ArgLoader

Constructors

constructor(solver: Arg2pSolver)

Types

object Companion

Properties

open override val alias: String

open override val baseContent: Library

open override val baseFlags: Iterable<ArgsFlag<*, *>>

theoryOperators

open override var theoryOperators: OperatorSet

Functions

open fun content(): Library

open fun flags(): Iterable<ArgsFlag<*, *>>