Package gprover

Class AngSt

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      LLine[] ln1
      The first set of lines that define the angles.
      LLine[] ln2
      The second set of lines that define the angles.
      int no
      The number of angles.
      AngSt nx
      The next AngSt object in a linked list structure.
      java.lang.String sd
      A string representation of the angles.

    • Constructor Summary

      Constructors 
      Constructor Description
      AngSt()
      Constructs an AngSt object with default values.
      AngSt​(int n)
      Constructs an AngSt object with the specified number of lines.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean addAngle​(Angles as)
      Adds an angle to the angles.
      boolean contain​(LLine l1, LLine l2)
      Checks if the specified lines are contained in the angles.
      int get_dr​(LLine l1, LLine l2)
      Gets the direction of the specified lines.
      java.lang.String toString()
      Returns a string representation of the angles.

      • 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 angles.

      • ln1

        public LLine[] ln1
        The first set of lines that define the angles.

      • ln2

        public LLine[] ln2
        The second set of lines that define the angles.

      • sd

        public java.lang.String sd
        A string representation of the angles.

      • nx

        public AngSt nx
        The next AngSt object in a linked list structure.

    • Constructor Detail

      • AngSt

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

      • AngSt

        public AngSt​(int n)
        Constructs an AngSt object with the specified number of lines.
        Parameters:
        n - the number of lines

    • Method Detail

      • contain

        public boolean contain​(LLine l1,
                       LLine l2)
        Checks if the specified lines are contained in the angles.
        Parameters:
        l1 - the first line
        l2 - the second line
        Returns:
        true if the lines are contained in the angles, false otherwise

      • get_dr

        public int get_dr​(LLine l1,
                  LLine l2)
        Gets the direction of the specified lines.
        Parameters:
        l1 - the first line
        l2 - the second line
        Returns:
        1 if the lines are in the same direction, -1 if they are in opposite directions, 0 otherwise

      • addAngle

        public boolean addAngle​(Angles as)
        Adds an angle to the angles.
        Parameters:
        as - the Angles object to add
        Returns:
        true if the angle was added, false otherwise

      • toString

        public java.lang.String toString()
        Returns a string representation of the angles.
        Overrides:
        toString in class CClass
        Returns:
        a string representation of the angles