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

FlagsBuilder

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

Constructors

FlagsBuilder

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