org.argkit.dung.swing
Class ScratchPad

java.lang.Object
  org.argkit.dung.swing.ScratchPad

public class ScratchPad
extends java.lang.Object

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

The graph is automatically drawn when you make any changes to the text representation. To see the proof behind an argument's status right-click on that argument in the graph.

Author:

Matt South

Constructor Summary

ScratchPad()

Method Summary

static void

main(java.lang.String[] args) Launches this application

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ScratchPad

public ScratchPad()

Method Detail

main

public static void main(java.lang.String[] args)

Launches this application