A B C D E F G H I J L M O P Q R S T U V W

A

AbstractReasoner<C> - Class in org.argkit.dung

An abstract class that manages a Reasoner's argument source and defeat source, ready for a particular Reasoner implementation.

AbstractReasoner() - Constructor for class org.argkit.dung.AbstractReasoner

Default Constructor.

AbstractReasoner(ArgumentSource<C>) - Constructor for class org.argkit.dung.AbstractReasoner

Typical constructor.

Acceptable - Interface in org.argkit.dung

An Interface for getting and setting a Boolean "acceptable" flag.

AcceptableArgument<C> - Class in org.argkit.dung

An ArgumentDecorator that implements a Boolean acceptable field.

AcceptableArgument(Argument<C>) - Constructor for class org.argkit.dung.AcceptableArgument

addBranch(Branch<C>) - Method in class org.argkit.dung.Dialogue

addOPP(Argument<C>) - Method in class org.argkit.dung.Branch

Add an OPP argument to this branch.

addPRO(Argument<C>) - Method in class org.argkit.dung.Branch

Add a PRO argument to this branch.

Argument<C> - Class in org.argkit

Minimal definition for a generic argument.

Argument() - Constructor for class org.argkit.Argument

Argument(C) - Constructor for class org.argkit.Argument

argument - Variable in class org.argkit.ArgumentDecorator

ArgumentDecorator<C> - Class in org.argkit

An Argument decorator class, for the convenience of developers.

ArgumentDecorator(Argument<C>) - Constructor for class org.argkit.ArgumentDecorator

ArgumentSource<C> - Interface in org.argkit

Use this interface to expose arguments from an argument source.

argumentSource - Variable in class org.argkit.dung.AbstractReasoner

ArgumentVertex<C> - Class in org.argkit.swing

Used by JungDungEngineWriter.

ArgumentVertex(Argument<C>) - Constructor for class org.argkit.swing.ArgumentVertex

B

Branch<C> - Class in org.argkit.dung

A class that it used to store a branch of a particular argument game dialogue.

Branch() - Constructor for class org.argkit.dung.Branch

Default constructor.

Branch(Argument<C>) - Constructor for class org.argkit.dung.Branch

Typical constructor.

C

calculate(Dialogue<C>, int) - Method in class org.argkit.dung.AbstractReasoner

calculate(Dialogue<C>, int) - Method in class org.argkit.dung.GroundedReasoner

calculate(Dialogue<C>, int) - Method in class org.argkit.dung.PreferredCredulousReasoner

copy() - Method in class org.argkit.dung.Branch

Make a copy of this Branch.

createQuery(C) - Method in class org.argkit.dung.Dungine

Create a Query.

D

defeatSource - Variable in class org.argkit.dung.AbstractReasoner

DefeatSource<C> - Interface in org.argkit.dung

Defeat is a binary relation between two arguments.

Dialogue<C> - Class in org.argkit.dung

Reasoning is implemented as a dialogue between two parties: the proponent (PRO) and the opponent (OPP).

Dialogue(Argument<C>) - Constructor for class org.argkit.dung.Dialogue

Only constructor.

drawBranch(Branch<C>) - Method in class org.argkit.dung.AbstractReasoner

Draw a version of the current line of reasoning.

Dungine<C> - Class in org.argkit.dung

A DungEngine decorates arguments from an ArgumentSource with an isAcceptable flag, using a DefeatSource and a Reasoner.

Dungine(ArgumentSource<C>) - Constructor for class org.argkit.dung.Dungine

Dungine() - Constructor for class org.argkit.dung.Dungine

DungModalGraphMouse<C> - Class in org.argkit.dung.swing

A modal mouse that includes a picking plugin that shows proof graph when you right click a vertex (argument).

DungModalGraphMouse() - Constructor for class org.argkit.dung.swing.DungModalGraphMouse

create an instance with default values

DungModalGraphMouse(float, float) - Constructor for class org.argkit.dung.swing.DungModalGraphMouse

create an instance with passed values

E

equals(Object) - Method in class org.argkit.Argument

equals(Object) - Method in class org.argkit.ArgumentDecorator

F

format(LogRecord) - Method in class org.argkit.dung.swing.JungJustificationWriter.MessageFormatter

G

g - Variable in class org.argkit.dung.swing.JungDungEngineWriter

getAllArguments() - Method in interface org.argkit.ArgumentSource

Yield all arguments from a particular argument source.

getAllArguments() - Method in class org.argkit.dung.Dungine

getAllArguments() - Method in class org.argkit.dung.InformalArgumentSource

getArgument() - Method in class org.argkit.dung.AcceptableArgument

Why provide access to the decorated argument? So that consumers can access the extra methods and fields of a decorated Argument subclass.

getArgument() - Method in class org.argkit.swing.ArgumentVertex

getArguments(C) - Method in interface org.argkit.ArgumentSource

Yield all arguments with a particular claim expression.

getArguments(C) - Method in class org.argkit.dung.Dungine

getArguments(String) - Method in class org.argkit.dung.InformalArgumentSource

getArgumentSource() - Method in class org.argkit.dung.AbstractReasoner

getArgumentSource() - Method in interface org.argkit.dung.Reasoner

Access the Reasoner's argument source.

getClaim() - Method in class org.argkit.Argument

getClaim() - Method in class org.argkit.ArgumentDecorator

getClaim() - Method in class org.argkit.dung.Query

getDefeaters(Argument<C>) - Method in interface org.argkit.dung.DefeatSource

getDefeaters(Argument<String>) - Method in class org.argkit.dung.InformalArgumentSource

getDefeatSource() - Method in class org.argkit.dung.AbstractReasoner

getDefeatSource() - Method in interface org.argkit.dung.Reasoner

Access the Reasoner's defeat source.

getDialogues() - Method in class org.argkit.dung.Query

getDungine() - Method in class org.argkit.dung.swing.DungModalGraphMouse

getLastArgument() - Method in class org.argkit.dung.Branch

getLastBranch() - Method in class org.argkit.dung.Dialogue

getLayout(Graph) - Method in enum org.argkit.dung.swing.JungDungEngineWriter.Layouts

getReasoner() - Method in class org.argkit.dung.Dungine

getSubject() - Method in class org.argkit.dung.Dialogue

getViewer() - Method in class org.argkit.dung.swing.JungDungEngineWriter

Get viewer for embedding in a Jung graph panel.

GroundedReasoner<C> - Class in org.argkit.dung

Grounded Semantics Argument Game Reasoner.

GroundedReasoner(ArgumentSource<C>) - Constructor for class org.argkit.dung.GroundedReasoner

H

hashCode() - Method in class org.argkit.Argument

hashCode() - Method in class org.argkit.ArgumentDecorator

I

index - Variable in class org.argkit.dung.swing.JungDungEngineWriter

InformalArgumentSource - Class in org.argkit.dung

A source of defeating arguments that consist of a String claim implemented for testing and demonstration purposes.

InformalArgumentSource(String) - Constructor for class org.argkit.dung.InformalArgumentSource

isAcceptable() - Method in interface org.argkit.dung.Acceptable

isAcceptable() - Method in class org.argkit.dung.AcceptableArgument

isProWinning() - Method in class org.argkit.dung.Branch

isSubjectDefended() - Method in class org.argkit.dung.Dialogue

iterator() - Method in class org.argkit.dung.Branch

Note that there is no explicit markup of PRO/OPP ownership of arguments, this is left for the consumer to work out, knowing that the first argument yielded will be a PRO argument, and all arguments thereafter will swap between OPP and PRO.

iterator() - Method in class org.argkit.dung.Dialogue

J

JungDungEngineWriter<C> - Class in org.argkit.dung.swing

A writer that's used to draw the marked up defeat networks that are available from a dungine instance.

JungDungEngineWriter(VisualizationViewer) - Constructor for class org.argkit.dung.swing.JungDungEngineWriter

JungDungEngineWriter.Layouts - Enum in org.argkit.dung.swing

Available layouts for the JungGraphWriter's viewer.

JungJustificationWriter<C> - Class in org.argkit.dung.swing

Builds a graph that illustrates the argument game for a particular argument.

JungJustificationWriter(VisualizationViewer, Dungine<C>) - Constructor for class org.argkit.dung.swing.JungJustificationWriter

JungJustificationWriter.MessageFormatter - Class in org.argkit.dung.swing

A logging formatter that only shows the message: nothing else

JungJustificationWriter.MessageFormatter() - Constructor for class org.argkit.dung.swing.JungJustificationWriter.MessageFormatter

L

loadPlugins() - Method in class org.argkit.dung.swing.DungModalGraphMouse

create the plugins, and load the plugins for TRANSFORMING mode

log(String, int) - Method in class org.argkit.dung.AbstractReasoner

Write indented message to the logStream

logger - Static variable in class org.argkit.dung.AbstractReasoner

M

main(String[]) - Static method in class org.argkit.dung.swing.ScratchPad

Launches this application

main(String[]) - Static method in class org.argkit.dung.swing.TestViewer

Launches this application

makeViewer() - Static method in class org.argkit.dung.swing.JungDungEngineWriter

Factory for generating an empty, KKLAYOUT visualization viewer that can be used to make a jung graph writer.

makeViewer(JungDungEngineWriter.Layouts) - Static method in class org.argkit.dung.swing.JungDungEngineWriter

Factory for generating an empty visualization viewer that can be used to make a jung graph writer.

makeViewer() - Static method in class org.argkit.dung.swing.JungJustificationWriter

Factory for generating an empty visualization viewer that can be used to make a jung graph writer.

mousePressed(MouseEvent) - Method in class org.argkit.dung.swing.ShowProofGraphMousePlugin

O

oppArguments() - Method in class org.argkit.dung.Branch

oppArguments() - Method in class org.argkit.dung.Dialogue

oppIterator() - Method in class org.argkit.dung.Branch

org.argkit - package org.argkit

The bare bones needed for a generic argumentation framework.

org.argkit.dung - package org.argkit.dung

Classes needed to support Dung's acceptability semantics.

org.argkit.dung.swing - package org.argkit.dung.swing

Classes to support swing guis for demonstrating Dungine.

org.argkit.swing - package org.argkit.swing

Classes to support swing guis for demonstrating the framework.

P

PreferredCredulousReasoner<C> - Class in org.argkit.dung

Preferred Credulous Semantics Argument Game Reasoner.

PreferredCredulousReasoner(ArgumentSource<C>) - Constructor for class org.argkit.dung.PreferredCredulousReasoner

proArguments() - Method in class org.argkit.dung.Branch

proArguments() - Method in class org.argkit.dung.Dialogue

proIterator() - Method in class org.argkit.dung.Branch

Q

Query<C> - Class in org.argkit.dung

A Query has a claim and a Result list.

R

Reasoner<C> - Interface in org.argkit.dung

An argument game reasoner interface.

ReasonerWriter<C> - Interface in org.argkit.dung

An interface to define writers that can be used to serialise a Reasoning artefact using the visitor pattern.

runArgumentGame(Argument<C>) - Method in class org.argkit.dung.AbstractReasoner

Throw error if there is no ArgumentSource or DefeatSource attached.

runArgumentGame(Argument<C>) - Method in class org.argkit.dung.GroundedReasoner

runArgumentGame(Argument<C>) - Method in class org.argkit.dung.PreferredCredulousReasoner

runArgumentGame(Argument<C>) - Method in interface org.argkit.dung.Reasoner

Pass in a single argument to see if it is acceptable under the associated ArgumentSource and DefeatSource network, given the Reasoner's semantics.

S

ScratchPad - Class in org.argkit.dung.swing

An example GUI application that lets a user manipulate an informal argument network and see how it's labelled under a particular semantics.

ScratchPad() - Constructor for class org.argkit.dung.swing.ScratchPad

setAcceptable(Boolean) - Method in class org.argkit.dung.AcceptableArgument

setArgument(Argument<C>) - Method in class org.argkit.swing.ArgumentVertex

setArgumentSource(ArgumentSource<C>) - Method in class org.argkit.dung.AbstractReasoner

setClaim(C) - Method in class org.argkit.Argument

setClaim(C) - Method in class org.argkit.ArgumentDecorator

setDefeatSource(DefeatSource<C>) - Method in class org.argkit.dung.AbstractReasoner

setDungine(Dungine<C>) - Method in class org.argkit.dung.swing.DungModalGraphMouse

setDungine(Dungine<C>) - Method in class org.argkit.dung.swing.ShowProofGraphMousePlugin

setReasoner(AbstractReasoner<C>) - Method in class org.argkit.dung.Dungine

ShowProofGraphMousePlugin<C> - Class in org.argkit.dung.swing

A GraphMousePlugin that extends a normal picking mouse plugin with the ability to right click on a vertex/argument and see the proof associated with that argument's acceptable status.

ShowProofGraphMousePlugin() - Constructor for class org.argkit.dung.swing.ShowProofGraphMousePlugin

size() - Method in class org.argkit.dung.Dialogue

T

TestViewer - Class in org.argkit.dung.swing

A gui that allows users to see the argument networks used in the test suite.

TestViewer() - Constructor for class org.argkit.dung.swing.TestViewer

toString() - Method in class org.argkit.Argument

toString() - Method in class org.argkit.ArgumentDecorator

toString() - Method in class org.argkit.dung.AcceptableArgument

toString() - Method in class org.argkit.dung.Branch

toString() - Method in class org.argkit.dung.Dialogue

U

updateCaches() - Method in class org.argkit.dung.Dungine

V

valueOf(String) - Static method in enum org.argkit.dung.swing.JungDungEngineWriter.Layouts

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.argkit.dung.swing.JungDungEngineWriter.Layouts

Returns an array containing the constants of this enum type, in the order they're declared.

vv - Variable in class org.argkit.dung.swing.JungDungEngineWriter

W

write(Query<C>) - Method in interface org.argkit.dung.ReasonerWriter

write(Branch<C>) - Method in interface org.argkit.dung.ReasonerWriter

write(Dungine<C>) - Method in interface org.argkit.dung.ReasonerWriter

write(Dialogue<C>) - Method in interface org.argkit.dung.ReasonerWriter

write(Argument<C>) - Method in class org.argkit.dung.swing.JungDungEngineWriter

write(Query<C>) - Method in class org.argkit.dung.swing.JungDungEngineWriter

write(Branch<C>) - Method in class org.argkit.dung.swing.JungDungEngineWriter

write(Dialogue<C>) - Method in class org.argkit.dung.swing.JungDungEngineWriter

write(Dungine<C>) - Method in class org.argkit.dung.swing.JungDungEngineWriter

Use this method to write the annotated defeat network available from a dungine instance.

write(Argument<C>) - Method in class org.argkit.dung.swing.JungJustificationWriter

Use this method to draw the dialogue behind the argument game for a particular argument.

write(Dungine<C>) - Method in class org.argkit.dung.swing.JungJustificationWriter

A B C D E F G H I J L M O P Q R S T U V W