Package wprover

Class GgbCircle

  • public class GgbCircle
extends java.lang.Object
    Represents a circle in GeoGebra with a name.

    • Constructor Summary

      Constructors 
      Constructor Description
      GgbCircle​(java.lang.String name)
      Constructs a new GgbCircle 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 circle.
      int hashCode()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • GgbCircle

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

    • Method Detail

      • getName

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

      • 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