core/it.unibo.tuprolog.argumentation.core.modules.graph.argument/ArgumentBuilderModule

ArgumentBuilderModule

object ArgumentBuilderModule : PrologModule

The arguments of a theory (module argumentBuilder): every argument its premises and rules make, built round after round from the conclusions of the previous one, and saved in the context with their supports (see the module graphStore).

Properties

alias

override val alias: String

baseContent

open override val baseContent: Library

baseFlags

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

prologRawTheory

open override val prologRawTheory: String

prologTheory

open override val prologTheory: Theory

theoryOperators

open override val theoryOperators: OperatorSet

Functions

content

open fun content(): Library

flags

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

identifier

override fun identifier(): String