Package gprover

Class AngTn

  • public class AngTn
extends CClass
    The AngTn 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 ln1
      The first line that defines the angles.
      LLine ln2
      The second line that defines the angles.
      LLine ln3
      The third line that defines the angles.
      LLine ln4
      The fourth line that defines the angles.
      int t1
      The first integer attribute related to the angles.
      int t2
      The second integer attribute related to the angles.

    • Constructor Summary

      Constructors 
      Constructor Description
      AngTn()
      Constructs an AngTn object with default values.
      AngTn​(LLine l1, LLine l2, LLine l3, LLine l4)
      Constructs an AngTn 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

      • ln1

        public LLine ln1
        The first line that defines the angles.

      • ln2

        public LLine ln2
        The second line that defines the angles.

      • ln3

        public LLine ln3
        The third line that defines the angles.

      • ln4

        public LLine ln4
        The fourth line that defines the angles.

      • t1

        public int t1
        The first integer attribute related to the angles.

      • t2

        public int t2
        The second integer attribute related to the angles.

    • Constructor Detail

      • AngTn

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

      • AngTn

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