core/it.unibo.tuprolog.argumentation.core.runtime.settings

Package-level declarations

Types

data class FlagsBuilder(var emptyBuilder: Boolean = false, var queryMode: Boolean = QueryMode.default(), var autoTransposition: Boolean = AutoTransposition.default(), var prologStrictCompatibility: Boolean = PrologStrictCompatibility.default(), var graphBuildMode: String = GraphBuildMode.default(), var argumentLabellingMode: String = ArgumentLabellingMode.default(), var statementLabellingMode: String = StatementLabellingMode.default(), var orderingPrinciple: String = OrderingPrinciple.default(), var orderingComparator: String = OrderingComparator.default(), var modulesPath: String = ModulesPath.default(), var graphExtensions: Iterable<String> = GraphExtension.default(), var metaConflicts: Boolean = MetaConflicts.default(), var metaRules: Boolean = MetaRules.default(), var graphBuilder: String = GraphBuilder.default())

Profile

class Profile

A framework a theory is read in, the value of graphBuildMode: a shortcut for the values of the flags it presets, with the operators of its notation. The flags the theory or the solver state override it (see Settings), the flags the profile does not preset keep those of the solver.

Profiles

object Profiles

The profiles of arg2p (see Profile), ASPIC+ the default. The operators of all the profiles are those of every theory, none conflicting with another: each profile reads the clauses written with them its own way.

Settings

class Settings(solver: Arg2pSolver) : ArgLibrary

The flags of an arg2p solver: those its libraries declare (ArgsFlag), checked by the Prolog code through setting/1 (whether a switch is on) and setting/2 (the values of a flag); checking a flag no library declares, or a switch for its values (and the other way round), raises a domain error.