Package gprover

Class Angles

  • public class Angles
extends CClass
    The Angles class represents a geometric configuration of four lines. It extends the CClass and includes properties for lemma, condition, and other attributes related to angles.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      LLine l1
      The four lines that define the angles.
      LLine l2
      The four lines that define the angles.
      LLine l3
      The four lines that define the angles.
      LLine l4
      The four lines that define the angles.

    • Constructor Summary

      Constructors 
      Constructor Description
      Angles()
      Constructs an Angles object with default values.
      Angles​(LLine l1, LLine l2, LLine l3, LLine l4)
      Constructs an Angles object with the specified lines.

    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • l1

        public LLine l1
        The four lines that define the angles.

      • l2

        public LLine l2
        The four lines that define the angles.

      • l3

        public LLine l3
        The four lines that define the angles.

      • l4

        public LLine l4
        The four lines that define the angles.

    • Constructor Detail

      • Angles

        public Angles​(LLine l1,
              LLine l2,
              LLine l3,
              LLine l4)
        Constructs an Angles object with the specified lines.
        Parameters:
        l1 - the first line
        l2 - the second line
        l3 - the third line
        l4 - the fourth line

      • Angles

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