Package gprover

Class AngleT

  • public class AngleT
extends CClass
    The AngleT class represents an angle with an intersection. It extends the CClass and includes properties for lemma, points, lines, and other attributes related to the angle.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      LLine l1
      The first line that defines the angle.
      LLine l2
      The second line that defines the angle.
      int lemma
      The lemma associated with the angle.
      int p
      The point associated with the angle.
      int v
      An integer value associated with the angle.

    • Constructor Summary

      Constructors 
      Constructor Description
      AngleT()
      Constructs an AngleT object with default values.
      AngleT​(int p, LLine l1, LLine l2, int v)
      Constructs an AngleT object with the specified values.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int get_pt1()
      Gets the first point of the first line that is not equal to the point p.
      int get_pt2()
      Gets the first point of the second line that is not equal to the point p.
      int get_val​(int p1, int p2)
      Gets the value associated with the angle based on the points p1 and p2.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • lemma

        public int lemma
        The lemma associated with the angle.

      • p

        public int p
        The point associated with the angle.

      • l1

        public LLine l1
        The first line that defines the angle.

      • l2

        public LLine l2
        The second line that defines the angle.

      • v

        public int v
        An integer value associated with the angle.

    • Constructor Detail

      • AngleT

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

      • AngleT

        public AngleT​(int p,
              LLine l1,
              LLine l2,
              int v)
        Constructs an AngleT object with the specified values.
        Parameters:
        p - the point associated with the angle
        l1 - the first line that defines the angle
        l2 - the second line that defines the angle
        v - an integer value associated with the angle

    • Method Detail

      • get_pt1

        public int get_pt1()
        Gets the first point of the first line that is not equal to the point p.
        Returns:
        the first point of the first line that is not equal to the point p

      • get_pt2

        public int get_pt2()
        Gets the first point of the second line that is not equal to the point p.
        Returns:
        the first point of the second line that is not equal to the point p

      • get_val

        public int get_val​(int p1,
                   int p2)
        Gets the value associated with the angle based on the points p1 and p2.
        Parameters:
        p1 - the first point
        p2 - the second point
        Returns:
        the value associated with the angle, or 9999 if the points do not lie on the lines