Package gprover

Class ProPoint

  • public class ProPoint
extends java.lang.Object
    Represents a point used in geometric constructions.

    This class stores geometric properties including coordinates, auxiliary data, and arrays that represent point states. It provides methods for setting point attributes and retrieving coordinate information.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      int aux  
      static int MAX_GEO  
      java.lang.String name  
      int[] ps  
      int[] ps1  
      int type  
      int type1  

    • Constructor Summary

      Constructors 
      Constructor Description
      ProPoint()  
      ProPoint​(int t)  
      ProPoint​(int t, java.lang.String s)  
      ProPoint​(int Type, java.lang.String ch, int p1, int p2, int p3, int p4, int p5, int p6, int p7, int p8)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      double getdx()  
      double getdy()  
      java.lang.String getName()  
      java.lang.String getText()  
      int getX()  
      int getX1()  
      int getY()  
      int getY1()  
      void set_name​(java.lang.String s)  
      void setXY​(double x, double y)  
      void setXY1​(int x1, int y1)  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • type

        public int type

      • aux

        public int aux

      • type1

        public int type1

      • name

        public java.lang.String name

      • ps

        public int[] ps

      • ps1

        public int[] ps1

    • Constructor Detail

      • ProPoint

        public ProPoint()

      • ProPoint

        public ProPoint​(int t)

      • ProPoint

        public ProPoint​(int t,
                java.lang.String s)

      • ProPoint

        public ProPoint​(int Type,
                java.lang.String ch,
                int p1,
                int p2,
                int p3,
                int p4,
                int p5,
                int p6,
                int p7,
                int p8)

    • Method Detail

      • set_name

        public void set_name​(java.lang.String s)

      • setXY

        public void setXY​(double x,
                  double y)

      • setXY1

        public void setXY1​(int x1,
                   int y1)

      • getdx

        public double getdx()

      • getdy

        public double getdy()

      • getX1

        public int getX1()

      • getY1

        public int getY1()

      • getX

        public int getX()

      • getY

        public int getY()

      • getName

        public java.lang.String getName()

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • getText

        public java.lang.String getText()