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

ArgContext

interface ArgContext : ArgLibrary

The context of a solver: the facts the modules assert, in branches

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