AuxPt (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.AuxPt

```
public class AuxPt
extends java.lang.Object
```
The AuxPt class represents an auxiliary point in a geometric construction. It includes methods for managing a list of ProPoint objects and retrieving information about the auxiliary point.

Constructor Summary

Constructors
Constructor Description

AuxPt(int t)
Constructs an AuxPt object with the specified type.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addAPt(ProPoint pt)`	Adds a ProPoint to the list if it is not already present.
`int`	`getAux()`	Gets the type of the auxiliary point.
`java.lang.String`	`getConstructedPoint()`	Gets the constructed point as a string.
`ProPoint`	`getPtsbyNo(int n)`	Gets the ProPoint at the specified index.
`int`	`getPtsNo()`	Gets the number of ProPoints in the list.
`java.lang.String`	`toString()`	Returns a string representation of the auxiliary point and its associated ProPoints.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - AuxPt
```
public AuxPt(int t)
```
    Constructs an AuxPt object with the specified type.
    
    Parameters:
    
    t - the type of the auxiliary point
- Method Detail
  - getConstructedPoint
```
public java.lang.String getConstructedPoint()
```
    Gets the constructed point as a string.
    
    Returns:
    
    the constructed point as a string
  - getAux
```
public int getAux()
```
    Gets the type of the auxiliary point.
    
    Returns:
    
    the type of the auxiliary point
  - addAPt
```
public void addAPt(ProPoint pt)
```
    Adds a ProPoint to the list if it is not already present.
    
    Parameters:
    
    pt - the ProPoint to add
  - getPtsNo
```
public int getPtsNo()
```
    Gets the number of ProPoints in the list.
    
    Returns:
    
    the number of ProPoints in the list
  - getPtsbyNo
```
public ProPoint getPtsbyNo(int n)
```
    Gets the ProPoint at the specified index.
    
    Parameters:
    
    n - the index of the ProPoint to retrieve
    
    Returns:
    
    the ProPoint at the specified index
  - toString
```
public java.lang.String toString()
```
    Returns a string representation of the auxiliary point and its associated ProPoints.
    
    Overrides:
    
    toString in class java.lang.Object
    
    Returns:
    
    a string representation of the auxiliary point and its associated ProPoints