Main (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.Main

```
@Deprecated
public class Main
extends java.lang.Object
```
Deprecated.

The main class for the GProver application. This class contains the main method and handles the reading of geometric terms, processing them, and outputting the results.

Constructor Summary

Constructors
Constructor Description

Main()
Deprecated.

Method Summary

All Methods Static Methods Concrete Methods Deprecated Methods
Modifier and Type	Method	Description
`static void`	`main(java.lang.String[] args)`	Deprecated. The main method that serves as the entry point of the application.
`static void`	`main1(java.lang.String[] args)`	Deprecated. The main logic of the application.

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

- Constructor Detail
  - Main
```
public Main()
```
    Deprecated.
- Method Detail
  - main
```
public static void main(java.lang.String[] args)
```
    Deprecated.
    
    The main method that serves as the entry point of the application.
    
    Parameters:
    
    args - the command line arguments
  - main1
```
public static void main1(java.lang.String[] args)
```
    Deprecated.
    
    The main logic of the application. Reads geometric terms from files, processes them, and outputs the results.
    
    Parameters:
    
    args - the command line arguments