Package gprover

Class Cm

  • public final class Cm
extends java.lang.Object
    The Cm class contains various constants and utility methods used in geometric proofs. It includes string constants for geometric symbols, predicates, and messages, as well as a debug flag and a print method for debugging purposes.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String ANGLE_SIGN
      Angle sign constant.
      static boolean DEBUG
      Debug flag.
      static java.lang.String DR_WPT
      WPT string constant.
      static java.lang.String EQUAL_SIGN
      Equal sign constant.
      static java.lang.String INTERSECT_SIGN
      Intersect sign constant.
      static java.lang.String P_POINT
      Point predicate constant.
      static java.lang.String PARALLEL_SIGN
      Parallel sign constant.
      static java.lang.String PC_ACONG
      Equal angle predicate constant.
      static java.lang.String PC_COLL
      Collinear predicate constant.
      static java.lang.String PC_CONG
      Equal distance predicate constant.
      static java.lang.String PC_CTRI
      Congruent triangle predicate constant.
      static java.lang.String PC_CYCLIC
      Cocircle predicate constant.
      static java.lang.String PC_MIDP
      Midpoint predicate constant.
      static java.lang.String PC_PARA
      Parallel predicate constant.
      static java.lang.String PC_PERP
      Perpendicular predicate constant.
      static java.lang.String PC_STRI
      Similar triangle predicate constant.
      static java.lang.String PERPENDICULAR_SIGN
      Perpendicular sign constant.
      static java.lang.String s1993
      Index string constant.
      static java.lang.String s2070
      Hypothesis string constant.
      static java.lang.String s2072
      The machine proof string constant.
      static java.lang.String s2220
      No proof exists message constant.
      static java.lang.String s2221
      Conclusion message constant.
      static java.lang.String s2222
      Equivalent message constant.
      static java.lang.String s2223
      Eliminating common factors message constant.
      static java.lang.String s2225
      Geometric quantities used in proof message constant.
      static java.lang.String s2226
      Eliminate variables message constant.
      static java.lang.String s2300
      The statement is true message constant.
      static java.lang.String s2707
      Lines string constant.
      static java.lang.String s2713
      Circles in the database string constant.
      static java.lang.String s2720
      Similar triangles string constant.
      static java.lang.String s2722
      Congruent triangles string constant.
      static java.lang.String s2727
      Because string constant.
      static java.lang.String s2728
      And string constant.
      static java.lang.String s2810
      Only full-angles allowed message constant.
      static java.lang.String s2811
      Conclusion cannot be represented with full-angles message constant.
      static java.lang.String s2812
      Cannot solve problem with full-angles message constant.
      static java.lang.String SIMILAR_SIGN
      Similar sign constant.
      static java.lang.String TRIANGLE_SIGN
      Triangle sign constant.

    • Constructor Summary

      Constructors 
      Constructor Description
      Cm()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void print​(java.lang.String s)
      Prints the specified string if the debug flag is set.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • s2070

        public static final java.lang.String s2070
        Hypothesis string constant.
        See Also:
        Constant Field Values

      • s2072

        public static final java.lang.String s2072
        The machine proof string constant.
        See Also:
        Constant Field Values

      • PERPENDICULAR_SIGN

        public static final java.lang.String PERPENDICULAR_SIGN
        Perpendicular sign constant.
        See Also:
        Constant Field Values

      • PARALLEL_SIGN

        public static final java.lang.String PARALLEL_SIGN
        Parallel sign constant.
        See Also:
        Constant Field Values

      • TRIANGLE_SIGN

        public static final java.lang.String TRIANGLE_SIGN
        Triangle sign constant.
        See Also:
        Constant Field Values

      • ANGLE_SIGN

        public static final java.lang.String ANGLE_SIGN
        Angle sign constant.
        See Also:
        Constant Field Values

      • EQUAL_SIGN

        public static final java.lang.String EQUAL_SIGN
        Equal sign constant.
        See Also:
        Constant Field Values

      • SIMILAR_SIGN

        public static final java.lang.String SIMILAR_SIGN
        Similar sign constant.
        See Also:
        Constant Field Values

      • INTERSECT_SIGN

        public static final java.lang.String INTERSECT_SIGN
        Intersect sign constant.
        See Also:
        Constant Field Values

      • s2707

        public static final java.lang.String s2707
        Lines string constant.
        See Also:
        Constant Field Values

      • s2713

        public static final java.lang.String s2713
        Circles in the database string constant.
        See Also:
        Constant Field Values

      • s2720

        public static final java.lang.String s2720
        Similar triangles string constant.
        See Also:
        Constant Field Values

      • s2722

        public static final java.lang.String s2722
        Congruent triangles string constant.
        See Also:
        Constant Field Values

      • s2727

        public static final java.lang.String s2727
        Because string constant.
        See Also:
        Constant Field Values

      • PC_COLL

        public static final java.lang.String PC_COLL
        Collinear predicate constant.
        See Also:
        Constant Field Values

      • PC_PARA

        public static final java.lang.String PC_PARA
        Parallel predicate constant.
        See Also:
        Constant Field Values

      • PC_PERP

        public static final java.lang.String PC_PERP
        Perpendicular predicate constant.
        See Also:
        Constant Field Values

      • PC_CONG

        public static final java.lang.String PC_CONG
        Equal distance predicate constant.
        See Also:
        Constant Field Values

      • PC_ACONG

        public static final java.lang.String PC_ACONG
        Equal angle predicate constant.
        See Also:
        Constant Field Values

      • PC_CYCLIC

        public static final java.lang.String PC_CYCLIC
        Cocircle predicate constant.
        See Also:
        Constant Field Values

      • PC_STRI

        public static final java.lang.String PC_STRI
        Similar triangle predicate constant.
        See Also:
        Constant Field Values

      • PC_CTRI

        public static final java.lang.String PC_CTRI
        Congruent triangle predicate constant.
        See Also:
        Constant Field Values

      • PC_MIDP

        public static final java.lang.String PC_MIDP
        Midpoint predicate constant.
        See Also:
        Constant Field Values

      • P_POINT

        public static final java.lang.String P_POINT
        Point predicate constant.
        See Also:
        Constant Field Values

      • DR_WPT

        public static final java.lang.String DR_WPT
        WPT string constant.
        See Also:
        Constant Field Values

      • s2810

        public static final java.lang.String s2810
        Only full-angles allowed message constant.
        See Also:
        Constant Field Values

      • s2811

        public static final java.lang.String s2811
        Conclusion cannot be represented with full-angles message constant.
        See Also:
        Constant Field Values

      • s2812

        public static final java.lang.String s2812
        Cannot solve problem with full-angles message constant.
        See Also:
        Constant Field Values

      • s1993

        public static final java.lang.String s1993
        Index string constant.
        See Also:
        Constant Field Values

      • s2300

        public static final java.lang.String s2300
        The statement is true message constant.
        See Also:
        Constant Field Values

      • s2220

        public static final java.lang.String s2220
        No proof exists message constant.
        See Also:
        Constant Field Values

      • s2221

        public static final java.lang.String s2221
        Conclusion message constant.
        See Also:
        Constant Field Values

      • s2222

        public static final java.lang.String s2222
        Equivalent message constant.
        See Also:
        Constant Field Values

      • s2223

        public static final java.lang.String s2223
        Eliminating common factors message constant.
        See Also:
        Constant Field Values

      • s2225

        public static final java.lang.String s2225
        Geometric quantities used in proof message constant.
        See Also:
        Constant Field Values

      • s2226

        public static final java.lang.String s2226
        Eliminate variables message constant.
        See Also:
        Constant Field Values

    • Constructor Detail

      • Cm

        public Cm()

    • Method Detail

      • print

        public static void print​(java.lang.String s)
        Prints the specified string if the debug flag is set.
        Parameters:
        s - the string to print