Class GraphicalVerifier

public class GraphicalVerifier

extends java.lang.Object

A graphical user interface application demonstrating JustIce.

$Id: GraphicalVerifier.java 152690 2001-10-29 19:59:54Z jvanzyl $

Constructor Summary
`GraphicalVerifier()` Constructor.

Method Summary
`static void`	`main(String[] args)` Main method.

public GraphicalVerifier()

Constructor.

public static void main(String[] args)

Main method.

Overview Package Class Use Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary