core/it.unibo.tuprolog.argumentation.core.flags/ArgsFlag

ArgsFlag

interface ArgsFlag<T, G>

A flag of arg2p, declared by the library it configures and checked through setting/1,2 (see it.unibo.tuprolog.argumentation.core.runtime.settings.Settings): a theory states its values as facts of its predicate

Inheritors

ArgumentLabellingMode

AutoTransposition

OrderingComparator

OrderingPrinciple

PrologStrictCompatibility

StatementLabellingMode

Properties

open val isSwitch: Boolean

Whether the flag is a switch, on when stated by its predicate alone (queryMode.), rather than taking values

Functions

abstract fun default(): T

abstract fun predicate(): String

abstract fun values(): G