Package gprover

The gprover package contains the core classes and interfaces related to the gprover project. This package serves as the central point for the implementation of the proof algorithms and related utilities.

Class Summary

Class	Description
ACir	Represents a geometric circle with various properties and methods.
Angles	The Angles class represents a geometric configuration of four lines.
AngleT	The AngleT class represents an angle with an intersection.
AngSt	The AngSt class represents a geometric configuration of angles.
AngTn	The AngTn class represents a geometric configuration of four lines.
AngTr	The AngTr class represents a geometric configuration of two lines.
Area	The Area class represents a geometric area and extends the Full class.
AuxPt	The AuxPt class represents an auxiliary point in a geometric construction.
CClass	The CClass class represents a base class for geometric objects.
Cm	The Cm class contains various constants and utility methods used in geometric proofs.
CNdg	The CNdg class represents a geometric non-degenerate condition.
Cond	Represents a condition in the proof structure.
CongSeg	The CongSeg class represents a congruent segment in a geometric proof.
Cons	The Cons class represents a geometric construction in a proof.
CSegs	The CSegs class represents a collection of geometric segments in a proof.
CST	The CST class contains constants and utility methods for managing geometric constructions and their validations.
DTerm	The DTerm class represents a term in a polynomial with a specific degree.
Elim	The Elim class provides methods for trimming geometric terms under various constraints.
ElTerm	The ElTerm class represents an element term in the geometric theorem proving framework.
Full	Implements full angle proof processes and geometric elimination.
GDD	A class representing the geometric deduction system.
GDDAux	GDDAux extends GDD to provide auxiliary processing methods for geometric constructions.
GDDBase	Base class for geometric deduction database operations.
GDDBc	GDDBc class handles the geometric proof process and predicate management.
Gib	The Gib class provides functionality for geometric computations, including operations on angles, lines, circles, triangles, and other geometric constructions.
Gr	Represents group related polynomial operations.
GrTerm	The GrTerm class represents a geometric term in the theorem proving framework.
GTerm	JGEX supports loading and saving scripts in a simple textual format.
Incenter	Represents an incenter(the center of the incircle) in a geometric proof.
LLine	Represents a geometric line in the construction.
LList	Represents a list of geometric elements.
Main	Deprecated.
Main2	Deprecated.
MathBase	Provides basic arithmetic, string, and array manipulation methods.
MidPt	Represents a midpoint in a geometric construction.
Mnde	Represents a geometric construction node.
NdgCs	Represents a node in a geometric construction tree.
PLine	Constructs a Mnde object with default values.
Poly	The Poly class extends MathBase and provides implementations for various polynomial operations such as addition, subtraction, multiplication, division, and remainder computation.
Polygon	Represents a polygon in a geometric construction.
ProPoint	Represents a point used in geometric constructions.
Prover	The Prover class provides static methods for performing geometric proofs and computations.
RatioSeg	Represents a ratio segment in a geometric construction.
Rule	Represents a rule in a geometric construction.
Rules	Rules class holds the translated geometric rules and full angle definitions.
SimTri	Rules class holds the translated geometric rules and full angle definitions.
STris	Constructs a SimTri object with default values.
TLine	Constructs an STris object with default values.
Var	The Var class represents a variable in a geometric context.
XTerm	Constructs a Var object with default values.