core/it.unibo.tuprolog.argumentation.core.modules/ArgLoader

ArgLoader

interface ArgLoader : ArgLibrary

The loader of the modules, at their first call

Inheritors

Properties

Link copied to clipboard
abstract val alias: String
Link copied to clipboard
abstract val baseContent: Library
Link copied to clipboard
abstract val baseFlags: Iterable<ArgsFlag<*, *>>
Link copied to clipboard
open val theoryOperators: OperatorSet

Functions

Link copied to clipboard
open fun content(): Library
Link copied to clipboard
open fun flags(): Iterable<ArgsFlag<*, *>>
Generated by Dokka
arg2p