Package gprover

Class Incenter


  • public class Incenter
    extends CClass
    Represents an incenter(the center of the incircle) in a geometric proof. This class extends the CClass and includes properties for lemma, coordinates, and a reference to the next incenter.
    • Constructor Summary

      Constructors 
      Constructor Description
      Incenter()
      Constructs an Incenter object with default values.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Incenter

        public Incenter()
        Constructs an Incenter object with default values.