Package gprover
Class CSegs
- java.lang.Object
-
- gprover.CClass
-
- gprover.CSegs
-
public class CSegs extends CClass
The CSegs class represents a collection of geometric segments in a proof. It includes properties for the number of segments, arrays of points defining the segments, and a reference to the next segment in the list.
-
-
Constructor Summary
Constructors Constructor Description CSegs()Constructs a CSegs object with default values.
-