edu.ksu.cis.projects.bogor
Class TrailsViewer

java.lang.Object
  edu.ksu.cis.projects.bogor.TrailsViewer

public class TrailsViewer
extends Object

Command-line driver to inspect counterexample files.

Version:

CVS $Revision: 1.2 $ $Date: 2005/05/20 13:43:09 $

Author:

Matt Hoosier

Field Summary

static String

PROGRAM_NAME

Constructor Summary

TrailsViewer()

Method Summary

static void

main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

PROGRAM_NAME

public static final String PROGRAM_NAME

See Also:

Constant Field Values

Constructor Detail

TrailsViewer

public TrailsViewer()

Method Detail

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception