Package gprover

Class LList

  • public class LList
extends CClass
    Represents a list of geometric elements. This class extends the CClass and includes properties for different types of elements, rules, and methods to manipulate them.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int ANGLE
      Constant value representing an angle type.
      LList fr
      Reference to the first LList object.
      static int LINE
      Constant value representing a line type.
      static int MAX_MDE
      Maximum number of elements.
      Mnde[] md
      Array of Mnde objects representing the elements.
      Mnde[] mf
      Array of Mnde objects representing the elements.
      int nd
      Number of elements in md.
      int nf
      Number of elements in mf.
      Rule[] rl
      Array of Rule objects representing the rules.
      static int VALUE
      Constant value representing a value type.

    • Constructor Summary

      Constructors 
      Constructor Description
      LList()
      Constructs an LList object with default values.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add_md​(Mnde m)
      Adds an Mnde object to the md array.
      void add_mf​(Mnde m)
      Adds an Mnde object to the mf array.
      void add_rule​(Rule r)
      Adds a Rule object to the rl array.
      void cp​(LList ls)
      Copies the properties of another LList object to this one.
      int get_npt()
      Gets the number of points and updates the npt and pt fields.
      java.lang.String toString()
      Returns a string representation of the LList object.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • VALUE

        public static final int VALUE
        Constant value representing a value type.
        See Also:
        Constant Field Values

      • LINE

        public static final int LINE
        Constant value representing a line type.
        See Also:
        Constant Field Values

      • ANGLE

        public static final int ANGLE
        Constant value representing an angle type.
        See Also:
        Constant Field Values

      • md

        public Mnde[] md
        Array of Mnde objects representing the elements.

      • mf

        public Mnde[] mf
        Array of Mnde objects representing the elements.

      • nd

        public int nd
        Number of elements in md.

      • nf

        public int nf
        Number of elements in mf.

      • rl

        public Rule[] rl
        Array of Rule objects representing the rules.

      • fr

        public LList fr
        Reference to the first LList object.

    • Constructor Detail

      • LList

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

    • Method Detail

      • get_npt

        public int get_npt()
        Gets the number of points and updates the npt and pt fields.
        Returns:
        the number of points

      • cp

        public void cp​(LList ls)
        Copies the properties of another LList object to this one.
        Parameters:
        ls - the LList object to copy from

      • add_md

        public void add_md​(Mnde m)
        Adds an Mnde object to the md array.
        Parameters:
        m - the Mnde object to add

      • add_mf

        public void add_mf​(Mnde m)
        Adds an Mnde object to the mf array.
        Parameters:
        m - the Mnde object to add

      • add_rule

        public void add_rule​(Rule r)
        Adds a Rule object to the rl array.
        Parameters:
        r - the Rule object to add

      • toString

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