Package gprover

Class Var

  • public class Var
extends java.lang.Object
    The Var class represents a variable in a geometric context. It includes properties for the variable's name, points, and a string representation.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      int[] pt  

    • Constructor Summary

      Constructors 
      Constructor Description
      Var()
      Constructs a Var object with default values.
      Var​(int n, int p1, int p2, int p3, int p4)
      Constructs a Var object with specified values.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void setString​(java.lang.String s)
      Constructs a TLine object with default values.
      java.lang.String toString()
      Returns the string representation of the variable.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • pt

        public int[] pt

    • Constructor Detail

      • Var

        public Var()
        Constructs a Var object with default values.

      • Var

        public Var​(int n,
           int p1,
           int p2,
           int p3,
           int p4)
        Constructs a Var object with specified values.
        Parameters:
        n - the name of the variable
        p1 - the first point
        p2 - the second point
        p3 - the third point
        p4 - the fourth point

    • Method Detail

      • toString

        public java.lang.String toString()
        Returns the string representation of the variable.
        Overrides:
        toString in class java.lang.Object
        Returns:
        the string representation of the variable

      • setString

        public void setString​(java.lang.String s)
        Constructs a TLine object with default values.