AngTr (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.CClass
- - gprover.AngTr

```
public class AngTr
extends CClass
```
The AngTr class represents a geometric configuration of two lines. It extends the CClass and includes properties for values, lines, and other attributes related to angles.

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`	`t1`	The first integer attribute related to the angle.
`int`	`t2`	The second integer attribute related to the angle.
`int`	`v`	An integer value associated with the angle.

Fields inherited from class gprover.CClass
id_count, MAX_GEO

Constructor Summary

Constructors
Constructor Description

AngTr()
Constructs an AngTr object with default values.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`get_lpt1()`	Gets the first point of the first line that is not equal to the value t1.
`int`	`get_lpt2()`	Gets the first point of the second line that is not equal to the value t2.

Methods inherited from class gprover.CClass
toString

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

- Field Detail
  - v
```
public int v
```
    An integer value associated with the angle.
  - t1
```
public int t1
```
    The first integer attribute related to the angle.
  - t2
```
public int t2
```
    The second integer attribute related to the angle.
  - l1
```
public LLine l1
```
    The first line that defines the angle.
  - l2
```
public LLine l2
```
    The second line that defines the angle.
- Constructor Detail
  - AngTr
```
public AngTr()
```
    Constructs an AngTr object with default values.
- Method Detail
  - get_lpt1
```
public int get_lpt1()
```
    Gets the first point of the first line that is not equal to the value t1.
    
    Returns:
    
    the first point of the first line that is not equal to the value t1
  - get_lpt2
```
public int get_lpt2()
```
    Gets the first point of the second line that is not equal to the value t2.
    
    Returns:
    
    the first point of the second line that is not equal to the value t2