Package wprover

Class GgbPoint

  • public class GgbPoint
extends java.lang.Object
    Represents a point in GeoGebra with a name.

    • Constructor Summary

      Constructors 
      Constructor Description
      GgbPoint​(java.lang.String name)
      Constructs a new GgbPoint with the specified name.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      java.lang.String getName()
      Returns the name of the point.
      int hashCode()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • GgbPoint

        public GgbPoint​(java.lang.String name)
        Constructs a new GgbPoint with the specified name.
        Parameters:
        name - the name of the point

    • Method Detail

      • getName

        public java.lang.String getName()
        Returns the name of the point.
        Returns:
        the name of the point

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object