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

ArgLibrary

interface ArgLibrary

A part of arg2p a solver is built from (a module, the context, the loader): its content, the flags it declares, and the operators of its theory

Inheritors

LazyRawPrologContent

ModuleCallsModule

Properties

abstract val alias: String

abstract val baseContent: Library

abstract val baseFlags: Iterable<ArgsFlag<*, *>>

theoryOperators

open val theoryOperators: OperatorSet

Functions

open fun content(): Library

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