Class GraphicalVerifier


  • public class GraphicalVerifier
    extends Object
    A graphical user interface application demonstrating JustIce.
    • Constructor Detail

      • GraphicalVerifier

        public GraphicalVerifier()
        Constructor.
    • Method Detail

      • main

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