Package org.argkit.dung.swing

Classes to support swing guis for demonstrating Dungine.

See:
Description

Class Summary

DungModalGraphMouse<C>	A modal mouse that includes a picking plugin that shows proof graph when you right click a vertex (argument).
JungDungEngineWriter<C>	A writer that's used to draw the marked up defeat networks that are available from a dungine instance.
JungJustificationWriter<C>	Builds a graph that illustrates the argument game for a particular argument.
JungJustificationWriter.MessageFormatter	A logging formatter that only shows the message: nothing else
ScratchPad	An example GUI application that lets a user manipulate an informal argument network and see how it's labelled under a particular semantics.
ShowProofGraphMousePlugin<C>	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.
TestViewer	A gui that allows users to see the argument networks used in the test suite.

Enum Summary

JungDungEngineWriter.Layouts

Available layouts for the JungGraphWriter's viewer.

Package org.argkit.dung.swing Description

Classes to support swing guis for demonstrating Dungine.