RatioSeg (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.CClass
- - gprover.RatioSeg

```
public class RatioSeg
extends CClass
```
Represents a ratio segment in a geometric construction.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  int[] r
  - Fields inherited from class gprover.CClass
    id_count, MAX_GEO
- Constructor Summary
  
  Constructors
  Constructor Description
  
  RatioSeg()
  The Prover class provides static methods for performing geometric proofs and computations.
- 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
  - r
```
public int[] r
```
- Constructor Detail
  - RatioSeg
```
public RatioSeg()
```
    The Prover class provides static methods for performing geometric proofs and computations. It manages the state of geometric terms and interacts with the geometric database.
    This class is not instantiable.