Package gprover

Class Rules

  • public class Rules
extends java.lang.Object
    Rules class holds the translated geometric rules and full angle definitions. The arrays defined in this class provide language-specific translations for geometric construction rules and full angle definitions. These translations are integrated with a gettext-based internationalization system.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String[] FULL_English  
      static java.lang.String[] GDD_English  

    • Constructor Summary

      Constructors 
      Constructor Description
      Rules()  

    • Method Summary

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • GDD_English

        public static final java.lang.String[] GDD_English

      • FULL_English

        public static final java.lang.String[] FULL_English

    • Constructor Detail

      • Rules

        public Rules()