SimTri (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.CClass
- - gprover.SimTri

```
public class SimTri
extends CClass
```
Rules class holds the translated geometric rules and full angle definitions. The arrays defined in this class provide language-specific translations for geometric construction rules and full angle definitions. These translations are integrated with a gettext-based internationalization system.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  int dr
  
  int[] p1
  
  int[] p2
  - Fields inherited from class gprover.CClass
    id_count, MAX_GEO
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SimTri()
  Constructs a SimTri object with default values.
- Method Summary
  - 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
  - dr
```
public int dr
```
  - p1
```
public int[] p1
```
  - p2
```
public int[] p2
```
- Constructor Detail
  - SimTri
```
public SimTri()
```
    Constructs a SimTri object with default values.