Package gprover
Class Incenter
- java.lang.Object
-
- gprover.CClass
-
- gprover.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.
-