Package gprover

Class 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.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int no
      The number of segments.
      int[] p1
      The array of starting points of the segments.
      int[] p2
      The array of ending points of the segments.
    • Constructor Summary

      Constructors 
      Constructor Description
      CSegs()
      Constructs a CSegs object with default values.
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • no

        public int no
        The number of segments.
      • p1

        public int[] p1
        The array of starting points of the segments.
      • p2

        public int[] p2
        The array of ending points of the segments.
    • Constructor Detail

      • CSegs

        public CSegs()
        Constructs a CSegs object with default values.