Package gprover

Class CongSeg

  • public class CongSeg
extends CClass
    The CongSeg class represents a congruent segment in a geometric proof. It includes properties for lemma, condition, points, types, and the next segment.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      int p1
      The first point of the segment.
      int p2
      The second point of the segment.
      int p3
      The third point of the segment.
      int p4
      The fourth point of the segment.
      int t1
      The first type of the segment.
      int t2
      The second type of the segment.

    • Constructor Summary

      Constructors 
      Constructor Description
      CongSeg()
      Constructs a CongSeg 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

      • p1

        public int p1
        The first point of the segment.

      • p2

        public int p2
        The second point of the segment.

      • p3

        public int p3
        The third point of the segment.

      • p4

        public int p4
        The fourth point of the segment.

      • t1

        public int t1
        The first type of the segment.

      • t2

        public int t2
        The second type of the segment.

    • Constructor Detail

      • CongSeg

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