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

GraphLanguage

object GraphLanguage : ArgsFlag<Iterable<String>, Iterable<String>>

The languages extending the one of arg2p, each a module the parser asks for the premises and the conflicts its notation states, mapped to those of arg2p, and that checks the theory is written in it: abaLanguage (assumptions and contraries), defeasibleLanguage (defeasible rules alone), aspicLanguage (well-formed contraries), abstractLanguage (arguments and attacks alone). The profile of the theory attaches them.

Properties

isSwitch

open val isSwitch: Boolean

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

Functions

default

open override fun default(): Iterable<String>

predicate

open override fun predicate(): String

values

open override fun values(): Iterable<String>