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

GraphBuilder

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

The module building the argumentation graph: from the rules of the theory (ruleGraph), or from its arguments and attacks (abstractGraph). The profile of the theory sets it (see graphBuildMode); in the profile free, the solver and the theory do.

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(): String

predicate

open override fun predicate(): String

values

open override fun values(): Iterable<String>