Class GraphicalVerifier


  • public class GraphicalVerifier
    extends java.lang.Object
    A graphical user interface application demonstrating JustIce.
    • Constructor Summary

      Constructors 
      Constructor Description
      GraphicalVerifier()
      Constructor.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Main method.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • GraphicalVerifier

        public GraphicalVerifier()
        Constructor.
    • Method Detail

      • main

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