Index (diarg 0.9-SNAPSHOT API)

A B C D E F G H I N P R S T U V
All Classes|All Packages

A

addArgument(Argument) - Method in class diarg.AgreementScenario: Adds a new argument to the agreement scenario's argumentation framework.
addAttack(Attack) - Method in class diarg.AgreementScenario: Adds a new attack to the agreement scenario's argumentation framework.
addFramework(DungTheory) - Method in class diarg.AFSequence: Adds an argumentation framework to the sequence; only adds the framework if it is compliant with the configured sequence type.
addFramework(DungTheory, Collection<Context>) - Method in class diarg.AFSequence: Adds an argumentation framework to the sequence; only adds the framework if it is compliant with the configured sequence type.
addTopicArgument(Argument) - Method in class diarg.AgreementScenario: Adds a new topic argument to the agreement scenario's argumentation framework and also adds this argument to the scenario's topic.
addValuePreference(ValuePreference) - Method in class diarg.values.ValuePreferenceOrder: Adds a new value preference to the value preference order
AFSequence - Class in diarg: Class for generating and managing argumentation sequence objects
AFSequence(SequenceType, ResolutionType, Semantics, boolean) - Constructor for class diarg.AFSequence
AFSequenceTest - Class in diarg
AFSequenceTest() - Constructor for class diarg.AFSequenceTest
AFTuple - Class in diarg: Provides abstractions for argumentation framework tuples.
AFTuple(DungTheory, DungTheory) - Constructor for class diarg.AFTuple
AFTupleTest - Class in diarg
AFTupleTest() - Constructor for class diarg.AFTupleTest
AgreementScenario - Class in diarg: An agreement scenario is an argumentation framework AF = (AR, AT), with a topic T that is a subset of AR and a sequence of semantics that represent the inference process of different agents
AgreementScenario(DungTheory, Collection<Argument>, ArrayList<Semantics>) - Constructor for class diarg.AgreementScenario
AgreementScenarioTest - Class in diarg
AgreementScenarioTest() - Constructor for class diarg.AgreementScenarioTest
ArgumentValueMapping - Class in diarg.values: Abstraction to create maps with (argument, value) pairs for value-based argumentation frameworks
ArgumentValueMapping() - Constructor for class diarg.values.ArgumentValueMapping

B

bpFramework1 - Variable in class diarg.burdens.TestBPFrameworks
bpFramework2 - Variable in class diarg.burdens.TestBPFrameworks
bpFramework3 - Variable in class diarg.burdens.TestBPFrameworks
BurdenOfPersuasionTheory - Class in diarg.burdens: Abstractions and solver for burden of persuasion frameworks
BurdenOfPersuasionTheory(ArrayList<Collection<Argument>>, Collection<Attack>) - Constructor for class diarg.burdens.BurdenOfPersuasionTheory: Instantiates a burden of persuasion theory (BPF)
BurdenOfPersuasionTheoryTest - Class in diarg.burdens
BurdenOfPersuasionTheoryTest() - Constructor for class diarg.burdens.BurdenOfPersuasionTheoryTest

C

CF2 - diarg.enums.SemanticsType
clone() - Method in class diarg.values.ValueBasedAgreementScenario
clone() - Method in class diarg.values.ValueBasedTheory
COMPLETE - diarg.enums.SemanticsType
Context - Class in diarg: A context wrapper that allows for the exclusion of the specified arguments from an argumentation framework
Context(String, Extension) - Constructor for class diarg.Context
contextFromJSON(JSONObject) - Method in class diarg.Serializer: Takes a JSON object (with the (key,value)-pairs ("name", String) and ("arguments", array) and turns it into a context object.
contextToJSON(Context) - Method in class diarg.Serializer: Takes an Context object and turns it into a JSON object.

D

determineAllSubjectiveExtensions(Semantics) - Method in class diarg.values.ValueBasedTheory: Determines all subjective extensions (for all agents/value preference orders in the value-based AF)
determineCardinalityMaxMonotonicExtensions(Collection<Extension>, Extension) - Static method in class diarg.Utils: Determines the maximally (wrt.
determineExtensions(int) - Method in class diarg.AFSequence: Determines all extensions of framework at the specified index, given a standard resolution type (the other resolution types require determining expansions or submodules.
determineExtensions(Semantics) - Method in class diarg.burdens.BurdenOfPersuasionTheory: Determines all extensions of the BPF
determineLargestNormalCMSubmodules(Semantics, Extension) - Method in class diarg.AFTuple: Determines the largest normal cautiously monotonic submodules of the second framework in the tuple w.r.t.
determineLargestNormalRISubmodules(Semantics, Extension) - Method in class diarg.AFTuple: Determines the largest normal reference independent submodules of the second framework in the tuple w.r.t.
determineMeanAgreement() - Method in class diarg.AgreementScenario: Determines the degree of mean agreement of the agreement scenario.
determineMeanAgreement() - Method in class diarg.values.ValueBasedAgreementScenario: Determines the degree of mean agreement of the value-based agreement scenario
determineMeanAgreementImpact(Value) - Method in class diarg.values.ValueBasedAgreementScenario: Determines the impact of a value on the mean degree of agreement.
determineMedianAgreement() - Method in class diarg.AgreementScenario: Determines the degree of median agreement of the agreement scenario.
determineMedianAgreement() - Method in class diarg.values.ValueBasedAgreementScenario: Determines the degree of median agreement of the value-based agreement scenario
determineMedianAgreementImpact(Value) - Method in class diarg.values.ValueBasedAgreementScenario: Determines the impact of a value on the median degree of agreement.
determineMinimalAgreement() - Method in class diarg.AgreementScenario: Determines the degree of minimal agreement of the agreement scenario.
determineMinimalAgreement() - Method in class diarg.values.ValueBasedAgreementScenario: Determines the degree of minimal agreement of the value-based agreement scenario
determineMinimalAgreementImpact(Value) - Method in class diarg.values.ValueBasedAgreementScenario: Determines the impact of a value on the minimal degree of agreement.
determineMonotonyViolationExplanations(AFTuple, Extension, Extension) - Static method in class diarg.explanations.NonmonotonyExplainer: Determines a collection of arguments that explain the violation of monotony in a scenario where first, an extension is inferred from an argumentation framework, the argumentation framework is then normally expanded, and another extension is inferred from the normal expansion.
determineObjectiveExtension(Semantics) - Method in class diarg.values.ValueBasedTheory: Determines the objective extension, i.e.
determinePOMaxMonotonicExtensions(Collection<Extension>, Collection<Extension>) - Static method in class diarg.Utils: Determines the pareto optimal maximally monotonic extensions (w.r.t.
determineReachableRange(Collection<Argument>, DungTheory) - Static method in class diarg.Utils: Determines the reachable range of a set of arguments
determineResolvableFrameworks(int) - Method in class diarg.AFSequence: For the framework at the specified index, determines all expansions or submodules that can be resolved to a reference independent or cautiously monotonic extension.
determineSatisfaction(int, int) - Method in class diarg.AgreementScenario: Determines the degree of satisfaction between two "agents" (semantics), given the agreement scenario.
determineSatisfaction(int, int) - Method in class diarg.values.ValueBasedAgreementScenario: Determines the degree of satisfaction between two "agents" (value preference orders), given the agreement scenario.
determineSatisfactionImpact(int, int, Value) - Method in class diarg.values.ValueBasedAgreementScenario: Determines the impact of a value on a 2-agent degree of satisfaction.
determineSetSimilarity() - Method in class diarg.UtilsTest
determineSetSimilarity(Collection<Argument>, Collection<Argument>, Collection<Argument>) - Static method in class diarg.Utils: Determines the similarity between two sets of arguments, given a "base" set, using a simple similarity measure: (|arguments in base set and in set1 and set2| + |arguments in base set and neither in set1 nor in set two|) divided by |arguments in base set|
determineSmallestNormalCMExpansions(Semantics, Extension) - Method in class diarg.AFTuple: Determines the smallest normal cautiously monotonic expansions of the second framework in the tuple w.r.t.
determineSmallestNormalRIExpansions(Semantics, Extension) - Method in class diarg.AFTuple: Determines the smallest normal reference independent expansions of the second framework in the tuple w.r.t.
determineSubjectiveExtensions(Semantics, int) - Method in class diarg.values.ValueBasedTheory: Determines the subjective extension of a given "agent" (value preference order)
determineSubsetMaxMonotonicExtensions(Collection<Extension>, Collection<Extension>) - Static method in class diarg.Utils: Determines the maximally monotonic extensions (w.r.t.
determineUnattackedArguments(DungTheory) - Static method in class diarg.Utils: Determines all unattacked arguments of an argumentation framework.
diarg - package diarg
diarg.burdens - package diarg.burdens
diarg.enums - package diarg.enums
diarg.explanations - package diarg.explanations
diarg.values - package diarg.values

E

empty() - Method in class diarg.AFSequenceTest
equals(Object) - Method in class diarg.values.Value
expand(Collection<Argument>, Collection<Attack>, Collection<Argument>) - Method in class diarg.AgreementScenario
EXPANDING - diarg.enums.SequenceType
EXPANSIONIST_CAUTIOUSLY_MONOTONIC - diarg.enums.ResolutionType
EXPANSIONIST_REFERENCE_INDEPENDENT - diarg.enums.ResolutionType
ExplanationTestFrameworks - Class in diarg.explanations: Contains example argumentation frameworks testing monotony violation explanations framework1: ({a, b, c, d}, {(a, b), (b, a)}) framework2: ({a, b, c, d, e, f, g}, {(a, b), (b, a), (e, c), (e, d), (e, f), (f, a), (f, e), (f, g), (g, f)}) framework3: ({a, b, c}, {(a, b), (b, a)}) framework4: ({a, b, c, d}, {(a, b), (b, a), (d, c)}) framework5: ({a, b, c, d, e}, {(a, b), (b, a), (b, e), (e, c), (e, d)})
ExplanationTestFrameworks() - Constructor for class diarg.explanations.ExplanationTestFrameworks
extensionFromJSON(JSONArray) - Method in class diarg.Serializer: Takes a JSON array of strings and turns it into an Extension argumentation framework extension
extensionToJSON(Extension) - Method in class diarg.Serializer: Takes an Extension argumentation framework extension and turns it into a JSON array.

F

framework1 - Variable in class diarg.explanations.ExplanationTestFrameworks
framework1 - Variable in class diarg.TestFrameworks
framework10 - Variable in class diarg.TestFrameworks
framework2 - Variable in class diarg.explanations.ExplanationTestFrameworks
framework2 - Variable in class diarg.TestFrameworks
framework3 - Variable in class diarg.explanations.ExplanationTestFrameworks
framework3 - Variable in class diarg.TestFrameworks
framework4 - Variable in class diarg.explanations.ExplanationTestFrameworks
framework4 - Variable in class diarg.TestFrameworks
framework5 - Variable in class diarg.explanations.ExplanationTestFrameworks
framework5 - Variable in class diarg.TestFrameworks
framework6 - Variable in class diarg.TestFrameworks
framework7 - Variable in class diarg.TestFrameworks
framework8 - Variable in class diarg.TestFrameworks
framework9 - Variable in class diarg.TestFrameworks
frameworkFromJSON(JSONObject) - Method in class diarg.Serializer: Takes a JSON object and turns it into a Dung Theory argumentation framework.
frameworkToJSON(DungTheory) - Method in class diarg.Serializer: Takes an DungTheory argumentation framework and turns it into a JSON object.

G

getArgumentationFramework() - Method in class diarg.AgreementScenario: Returns the agreement scenario's argumentation framework.
getArgumentOrder() - Method in class diarg.burdens.BurdenOfPersuasionTheory: Gets the argument oder of a burden of persuasion theory (BPF)
getArguments() - Method in class diarg.burdens.BurdenOfPersuasionTheory: Gets the arguments of a burden of persuasion theory (BPF)
getArguments() - Method in class diarg.Context
getArgumentValueMapping() - Method in class diarg.values.ValueBasedTheory
getAttacks() - Method in class diarg.burdens.BurdenOfPersuasionTheory: Gets the attacks of a burden of persuasion theory (BPF)
getContext(int) - Method in class diarg.AFSequence
getContexts() - Method in class diarg.AFSequence
getContextSummaries() - Method in class diarg.AFSequence
getContextSummary(int) - Method in class diarg.AFSequence
getContextSupport() - Method in class diarg.AFSequence
getDungTheory() - Method in class diarg.values.ValueBasedTheory
getFramework(int) - Method in class diarg.AFSequence
getFramework1() - Method in class diarg.AFTuple
getFramework2() - Method in class diarg.AFTuple
getFrameworks() - Method in class diarg.AFSequence
getId() - Method in class diarg.values.Value
getInferiorValue() - Method in class diarg.values.ValuePreference
getMap() - Method in class diarg.values.ArgumentValueMapping
getModel(DungTheory) - Method in class diarg.Semantics: Returns one extension the semantics returns for the specified argumentation framework.
getModel(DungTheory) - Method in class diarg.SimpleNSACF2Reasoner
getModel(DungTheory) - Method in class diarg.SimpleRSReasoner
getModel(DungTheory) - Method in class diarg.SimpleShkopReasoner
getModels(DungTheory) - Method in class diarg.Semantics: Determines semantics' extensions for the specified argumentation framework.
getModels(DungTheory) - Method in class diarg.SimpleNSACF2Reasoner
getModels(DungTheory) - Method in class diarg.SimpleRSReasoner
getModels(DungTheory) - Method in class diarg.SimpleShkopReasoner
getName() - Method in class diarg.Context
getResolution(int) - Method in class diarg.AFSequence
getResolutions() - Method in class diarg.AFSequence
getResolutionType() - Method in class diarg.AFSequence
getSemantics() - Method in class diarg.AFSequence
getSemantics() - Method in class diarg.AgreementScenario: Returns the agreement scenario's semantics.
getSemantics() - Method in class diarg.values.ValueBasedAgreementScenario
getSequenceType() - Method in class diarg.AFSequence
getSubjectiveExtensions() - Method in class diarg.Semantics
getSuperiorValue() - Method in class diarg.values.ValuePreference
getTopic() - Method in class diarg.AgreementScenario: Returns the agreement scenario's topic.
getTopic() - Method in class diarg.values.ValueBasedAgreementScenario
getValuePreferenceOrders() - Method in class diarg.values.ValueBasedTheory
getValuePreferences() - Method in class diarg.values.ValuePreferenceOrder
getValues() - Method in class diarg.values.ValueBasedTheory
getVbFramework() - Method in class diarg.values.ValueBasedAgreementScenario
GROUNDED - diarg.enums.SemanticsType
GroundedShkopTest - Class in diarg: Provides nsa grounded Shkop test facilities for DiArg's Shkop reasoner grounded Shkop test that ignores self-attacking arguments
GroundedShkopTest() - Constructor for class diarg.GroundedShkopTest

H

HandbookTestFrameworks - Class in diarg: Contains Tweety models of all examples of the following book chapter of the Handbook of Formal Argumentation: Baroni, Pietro, Martin Caminada, and Massimiliano Giacomin.
HandbookTestFrameworks() - Constructor for class diarg.HandbookTestFrameworks

I

IDEAL - diarg.enums.SemanticsType
init() - Method in class diarg.AFSequenceTest
init() - Method in class diarg.AFTupleTest
init() - Method in class diarg.AgreementScenarioTest
init() - Method in class diarg.values.ValueBasedAgreementScenarioTest
init() - Method in class diarg.values.ValueBasedTheoryTest
isCredulouslyAccepted(Collection<Argument>, Semantics) - Method in class diarg.burdens.BurdenOfPersuasionTheory: Checks if a set of arguments is entailed by at least one extension of the BPF Note: non-optimized: determines all extensions first
isExpansion() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is an expansion of framework1.
isExpansionOf(AgreementScenario) - Method in class diarg.AgreementScenario: Determines the whether ``this`` agreement scenario is an expansion of the provided agreement scenario.
isNormalExpansion() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is a normal expansion of framework1.
isNormalExpansionOf(AgreementScenario) - Method in class diarg.AgreementScenario: Determines the whether ``this`` agreement scenario is a normal expansion of the provided agreement scenario.
isNormalSubmodule() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is a normal submodule of framework1.
isShkopExpansion() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is a Shkop expansion of framework1.
isShkopSubmodule() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is a Shkop submodule of framework1.
isSkepticallyAccepted(Collection<Argument>, Semantics) - Method in class diarg.burdens.BurdenOfPersuasionTheory: Checks if a set of arguments is entailed by every extension of the BPF Note: non-optimized: determines all extensions first
isSubmodule() - Method in class diarg.AFTuple: Checks if framework2 in the tuple is a submodule of framework1.

N

NonmonotonyExplainer - Class in diarg.explanations: Identifies sets of arguments that serve as explanations for the violation of monotony in the context of admissible set-based semantics.
NonmonotonyExplainer() - Constructor for class diarg.explanations.NonmonotonyExplainer
NonmonotonyExplainerTest - Class in diarg.explanations
NonmonotonyExplainerTest() - Constructor for class diarg.explanations.NonmonotonyExplainerTest
NORMALLY_EXPANDING - diarg.enums.SequenceType
NSACF2 - diarg.enums.SemanticsType

P

PREFERRED - diarg.enums.SemanticsType

R

reachablyDefendedRanges(Collection<Argument>, DungTheory) - Static method in class diarg.Utils: Determines sets union with all arguments are attacked by the set's reachably defended arguments
REDUCTIONIST_CAUTIOUSLY_MONOTONIC - diarg.enums.ResolutionType
REDUCTIONIST_REFERENCE_INDEPENDENT - diarg.enums.ResolutionType
removeFramework(int) - Method in class diarg.AFSequence: Removes framework at the specified index; in case of reference independent and cautiously monotonic resolution approaches, the last framework in the sequence cannot be removed to ensure principle compliance.
removeSelfAttackedArguments(DungTheory) - Static method in class diarg.Utils: Removes all self-attacking arguments from an argumentation framework.
removeValue(Value) - Method in class diarg.values.ValueBasedAgreementScenario: Removes a value from the value-based agreement scenario
removeValueAssignment(Argument) - Method in class diarg.values.ArgumentValueMapping
removeValuePreference(ValuePreference) - Method in class diarg.values.ValuePreferenceOrder: Removes a value preference from the value preference order
ResolutionType - Enum in diarg.enums: Enumerates resolution types, i.e., whether reference independence and cautious monotony should be ensured, and which approach should be used for ensuring it.
resolveFramework(int) - Method in class diarg.AFSequence: Resolves an argumentation framework in the sequence using the specified semantics and, if configured, the specified approach to ensure reference independence or cautious monotony.
resolveFramework(int, Extension) - Method in class diarg.AFSequence: Resolves a framework as the provided extension, if this extension is a valid resolution.
resolveFrameworks() - Method in class diarg.AFSequence: Resolves all frameworks of the sequence by calling the resolveFramework method for each index in the list of frameworks.
RS - diarg.enums.SemanticsType

S

SCF2 - diarg.enums.SemanticsType
Semantics - Class in diarg: Provides an interface to different abstract argumentation semantics
Semantics(SemanticsType) - Constructor for class diarg.Semantics
SemanticsTest - Class in diarg
SemanticsTest() - Constructor for class diarg.SemanticsTest
semanticsType - Variable in class diarg.Semantics
SemanticsType - Enum in diarg.enums: Enumerates abstract argumentation semantic types
sequenceFromJSON(JSONObject) - Method in class diarg.Serializer: Takes a JSON object and turns it into an AFSequence argumentation framework sequence.
sequenceToJSON(AFSequence) - Method in class diarg.Serializer: Takes an AFSequence object and turns it into a JSON object.
SequenceType - Enum in diarg.enums: Enumerates sequence types, i.e.: STANDARD: any sequence is allowed; EXPANDING: a framework needs to be an expansion of its predecessor; NORMALLY_EXPANDING: a framework needs to be a normal expansion of its predecessor; SHKOP: a framework needs to be a normal expansion of its predecessor and add exactly one additional argument;
Serializer - Class in diarg: Provides JSON serialization and de-serialization support for argumentation frameworks, extensions, and sequences
Serializer() - Constructor for class diarg.Serializer
SerializerTest - Class in diarg
SerializerTest() - Constructor for class diarg.SerializerTest
setArguments(Extension) - Method in class diarg.Context
setArgumentValueMapping(ArgumentValueMapping) - Method in class diarg.values.ValueBasedTheory
setDungTheory(DungTheory) - Method in class diarg.values.ValueBasedTheory
setShkopTest(ShkopTest) - Method in class diarg.AFSequence: Sets a custom ShkopTest
setShkopTest(ShkopTest) - Method in class diarg.SimpleShkopReasoner: Sets a custom ShkopTest
setSubjectiveExtensions(Collection<Extension>) - Method in class diarg.Semantics
setValueAssignment(Argument, Value) - Method in class diarg.values.ArgumentValueMapping
setValuePreferenceOrders(ArrayList<ValuePreferenceOrder>) - Method in class diarg.values.ValueBasedTheory
setValues(Collection<Value>) - Method in class diarg.values.ValueBasedTheory
SHKOP - diarg.enums.ResolutionType
SHKOP - diarg.enums.SemanticsType
SHKOP - diarg.enums.SequenceType
SimpleNSACF2Reasoner - Class in diarg: Implements Rational Conflict-Free (RCF) semantics by providing a wrapper around the Tweety SimpleCF2Reasoner
SimpleNSACF2Reasoner() - Constructor for class diarg.SimpleNSACF2Reasoner
SimpleRCFReasonerTest - Class in diarg
SimpleRCFReasonerTest() - Constructor for class diarg.SimpleRCFReasonerTest
SimpleRSReasoner - Class in diarg: Implements Restricted Stage (RS) semantics by providing a wrapper around the Tweety SimpleStageReasoner RS semantics are like stage semantics, but: 1.
SimpleRSReasoner() - Constructor for class diarg.SimpleRSReasoner
SimpleRSReasonerTest - Class in diarg
SimpleRSReasonerTest() - Constructor for class diarg.SimpleRSReasonerTest
SimpleShkopReasoner - Class in diarg: Determines the Shkop extensions, given any argumentation framework AF = (AR, AT), as follows: 1.
SimpleShkopReasoner() - Constructor for class diarg.SimpleShkopReasoner
SimpleShkopReasonerTest - Class in diarg
SimpleShkopReasonerTest() - Constructor for class diarg.SimpleShkopReasonerTest
STAGE - diarg.enums.SemanticsType
STANDARD - diarg.enums.ResolutionType
STANDARD - diarg.enums.SequenceType
SUBJECTIVE - diarg.enums.SemanticsType

T

TestBPFrameworks - Class in diarg.burdens: Provides example burden of persuasion frameworks (examples from the paper) for test purposes bpFramework1: (({a}, {b, c, l}), {(a, c), (a, l), (b, a), (c, b)}) bpFramework2: (({a, b}, {c}, {d, e}), {(a, b), (a, e), (b, a), (b, e), (c, d), (d, c), (e, a), (e, b)}) bpFramework3: (({a, b}, {c, d, e}, {f}), {(a, c), (a, e), (c, d), (d, b), (d, f), (e, a), (e, c), (f, d), (f, b)})
TestBPFrameworks() - Constructor for class diarg.burdens.TestBPFrameworks
testContext() - Method in class diarg.AFSequenceTest
TestFrameworks - Class in diarg: Provides example argumentation frameworks for test purposes framework1: ({a, b, c, d, e},{(a, b), (b, c), (c, b), (c, d), (d, e), (e, c)}) framework2: ({a, b, c}, {(a, b), (b, a), (b, c), (c, a)}) framework3: ({a, b, c}, {(a, b), (b, c), (c, a)}) framework4: ({a, b}, {(a, b)}) framework5: ({a, b}, {(a, b), (b, a)}) framework6: ({a, b, c, d}, {(a, b), (b, a), (c, d), (d, c)}) framework7: ({a, b, c, d}, {(a, b), (b, c), (c, a), (d, a)}) framework8 ({a, b, c, d}, {(a, b), (b, a), (b, c), (c, d), (d, c)}) framework9: ({a, b, c, d, e}, {(e, a), (d, b), (b, d), (d, c), (c, d), (d, d), (e, e)}) framework10: ({a, b, c, d}, {(a, b), (b, a), (c, b), (d, c)})
TestFrameworks() - Constructor for class diarg.TestFrameworks
TestVBFrameworks - Class in diarg.values: Provides example value-based argumentation frameworks for test purposes vbFramework1: ({a, b, c, d},{(a, b), (b, a), (c, b), (c, d)}, {av, bv, cv, dv}, {a → av, b → bv, c → cv, d → dv}, ({av > bv}, {bv > av), {cv > dv}))
TestVBFrameworks() - Constructor for class diarg.values.TestVBFrameworks
toAgreementScenario() - Method in class diarg.values.ValueBasedAgreementScenario: Maps the value-based agreement scenario to an abstract agreement scenario.

U

Utils - Class in diarg: Utils for manipulating and analyzing argumentation frameworks
Utils() - Constructor for class diarg.Utils
UtilsTest - Class in diarg
UtilsTest() - Constructor for class diarg.UtilsTest

V

Value - Class in diarg.values: Atomic item that defines a value for value-based argumentation
Value(String) - Constructor for class diarg.values.Value
ValueBasedAgreementScenario - Class in diarg.values: Abstraction and solver for value-based agreement scenarios
ValueBasedAgreementScenario(ValueBasedTheory, Collection<Argument>, Semantics) - Constructor for class diarg.values.ValueBasedAgreementScenario
ValueBasedAgreementScenarioTest - Class in diarg.values
ValueBasedAgreementScenarioTest() - Constructor for class diarg.values.ValueBasedAgreementScenarioTest
ValueBasedTheory - Class in diarg.values: Abstractions and solver for value-based argumentation frameworks
ValueBasedTheory(DungTheory, Collection<Value>, ArgumentValueMapping, ArrayList<ValuePreferenceOrder>) - Constructor for class diarg.values.ValueBasedTheory
ValueBasedTheoryTest - Class in diarg.values
ValueBasedTheoryTest() - Constructor for class diarg.values.ValueBasedTheoryTest
valueOf(String) - Static method in enum diarg.enums.ResolutionType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum diarg.enums.SemanticsType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum diarg.enums.SequenceType: Returns the enum constant of this type with the specified name.
ValuePreference - Class in diarg.values: Preference between two values, for value-based argumentation frameworks
ValuePreference(Value, Value) - Constructor for class diarg.values.ValuePreference
ValuePreferenceOrder - Class in diarg.values: Value preference order for value based argumentation Preference between two values, for value-based argumentation frameworks
ValuePreferenceOrder() - Constructor for class diarg.values.ValuePreferenceOrder
values() - Static method in enum diarg.enums.ResolutionType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum diarg.enums.SemanticsType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum diarg.enums.SequenceType: Returns an array containing the constants of this enum type, in the order they are declared.
vbFramework1 - Variable in class diarg.values.TestVBFrameworks

A B C D E F G H I N P R S T U V
All Classes|All Packages