core/it.unibo.tuprolog.argumentation/Flags

Flags

class Flags

The flags of a solver (see the flags reference of arg2p), as the facts stating them: defaults (those of arg2p), none (only those the theory states), or parse (as Prolog text). A flag set replaces what the flags stated for it; the theory may state flags as well, which override these. The profile of the theory (graphBuildMode) presets the flags its definition needs.

Types

object Companion

Functions

argumentLabellingMode

fun argumentLabellingMode(semantics: Semantics): Flags

The semantics of the argument labelling

autoTransposition

fun autoTransposition(on: Boolean): Flags

Whether the strict rules are transposed

fun conflictModel(model: ConflictModel): Flags

The conflicts beyond those the theory declares

fun debug(on: Boolean): Flags

Whether the modules print their debug output

open operator override fun equals(other: Any?): Boolean

fun graphBuilder(builder: GraphBuilder): Flags

The module building the graph

fun graphBuildMode(profile: Profile): Flags

The profile of the theory

graphExtensions

fun graphExtensions(vararg extensions: GraphExtension): Flags

The extensions of the graph: none for no extension (an array in JavaScript)

fun graphLanguage(vararg languages: GraphLanguage): Flags

The languages extending the one of arg2p: none for no language (an array in JavaScript)

open override fun hashCode(): Int

fun library(): ArgLibrary

The library of the flags, for a solver of arg2p

fun metaConflicts(on: Boolean): Flags

Whether the conflicts are arguments as well

fun metaRules(on: Boolean): Flags

Whether the rules are arguments as well

fun modulesPath(path: String): Flags

Where the modules loaded by name are looked for

orderingComparator

fun orderingComparator(comparator: OrderingComparator): Flags

The comparator of the preferences

orderingPrinciple

fun orderingPrinciple(principle: OrderingPrinciple): Flags

The ordering principle of the preferences

prologStrictCompatibility

fun prologStrictCompatibility(on: Boolean): Flags

Whether the theory is read as strict Prolog (no rules of arg2p)

fun queryMode(on: Boolean): Flags

Whether the graph is built on the arguments the query depends on alone

statementLabellingMode

fun statementLabellingMode(labelling: StatementLabelling): Flags

The labelling of the statements

open override fun toString(): String

The flags as the facts stating them, Prolog text