All Classes

Class	Description
AboutDialog	The `AboutDialog` class represents a custom popup dialog that displays information about the application.
ACir	Represents a geometric circle with various properties and methods.
AllSolutionDialog	The `AllSolutionDialog` class provides a dialog for displaying and interacting with all possible solutions of a given problem within the GExpert application.
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.
AnimateC	The `AnimateC` class represents the animation control for a geometric object in the GExpert application.
AnimatePanel	A toolbar panel that controls animation playback, speed, and state.
Area	The Area class represents a geometric area and extends the Full class.
AttrToCondDialog	AttrToCondDialog is a dialog class that allows users to select geometric attributes and convert them into conditions for geometric proofs.
AuxPt	The AuxPt class represents an auxiliary point in a geometric construction.
BasicOutlookButtonUI	Mimics Outlook button look.
BigFraction	Represents a fraction with arbitrary precision using BigInteger.
BigSquareRoot	Provides methods to calculate square roots and cube roots with arbitrary precision.
BLeveledButtonUI	BLeveledButtonUI.java This class extends BasicButtonUI to create a custom button UI with leveled borders.
BLeveledButtonUIX	BLeveledButtonUIX is a custom button UI that extends BlueishButtonUI.
BlueishButtonUI	BlueishButtonUI.java This class extends BasicButtonUI to create a custom button UI with a blueish theme.
BoundingBox	This class represents a bounding box.
ButtonBorder	ButtonBorder.
CAngle	Class representing an angle in a geometric construction.
CArrow	Represents an arrow in a geometric drawing.
CBoolean	Represents a boolean value that can be modified.
CClass	The CClass class represents a base class for geometric objects.
CClass	CClass is an abstract class representing a geometric object with various properties and methods.
CCoBox	CCoBox is a custom JComboBox that displays color options.
CDialogProve	This class represents a dialog for proving geometric terms.
CDistance	Represents a distance measurement between two points in a geometric context.
Cedmark	Represents a Cedmark object, which is a type of equality mark in a geometric drawing.
CharSet	Represents a character set for polynomial operations.
Circle	Represents a geometric circle with various properties and methods.
CLine	Represents a geometric line with various properties and methods.
Cm	The Cm class contains various constants and utility methods used in geometric proofs.
CMisc	This class contains configuration and utility methods for the application.
CNdg	The CNdg class represents a geometric non-degenerate condition.
ColorButtonPanel	ColorButtonPanel is a JPanel that displays a color button.
ConcDialog	ConcDialog is a dialog for selecting geometric conclusions.
ConcPanel	ConcPanel is a JPanel that provides a user interface for selecting geometric assertions.
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.
Constraint	The Constraint class represents a geometric constraint in a geometric construction.
CPoint	CPoint class represents a point in a 2D space with x and y coordinates.
CPolygon	CPolygon class represents a polygon or circle shape.
CProperty	CProperty is a JPanel that displays property panels for different geometric objects.
CProveBarPanel	CProveBarPanel is a custom panel that contains a toolbar for controlling the proof process.
CProveField	CProveField is a class that represents a field for proving mathematical theorems.
CProveText	CProveText is a class that represents a proof text in a graphical user interface.
CText	CText is a class that represents a text object in a graphical application.
CTextValue	CTextValue is a class that represents a mathematical expression in a tree structure.
CTMark	CTMark is a class that represents a mark on a drawing, defined by two lines.
CTrace	CTrace is a class that represents a trace of points in a graphical application.
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.
CStyleDialog	CStyleDialog is a class that creates a dialog for selecting drawing styles, including color, line width, and line type.
DiagramUpdater	DiagramUpdater is an interface that defines a method for updating a diagram.
DialogProperty	DialogProperty is a class that represents a dialog for displaying properties.
DialogPsProperty	Dialog for setting PostScript (PS) properties.
DrawBase	DrawBase is a class that provides methods for drawing geometric objects and handling user interactions.
DrawData	DrawData is a utility class that manages color, dash, and width configurations for drawing operations.
DrawProcess	DrawProcess is a class that handles the drawing and processing of geometric objects.
DrawTextProcess	DrawTextProcess is a class that handles the construction and animation of geometric diagrams based on textual input.
DrawType	The DrawType class represents a drawing type with properties such as color index, dash style, and width.
DropShadowBorder	Implements a DropShadow for components.
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.
EntityButtonUI	EntityButtonUI is a custom button UI that provides a specific look and feel for buttons.
FactFinderDialog	FactFinderDialog is a dialog that allows users to search for geometric facts based on selected points and types.
FloatableToolBar	FloatableToolBar is a custom popup menu that can be dragged around the screen.
Full	Implements full angle proof processes and geometric elimination.
GBevelBorder	GBevelBorder is a custom border class that extends SoftBevelBorder.
GBevelUI	GBevelUI.java This class extends BasicButtonUI to create a custom button UI with bevel borders.
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.
GeoPoly	GeoPoly is a singleton class that provides methods for constructing polynomial expressions related to geometric properties and relationships.
GExpert	GExpert is the main class for the GEXPERT application.
GgbCircle	Represents a circle in GeoGebra with a name.
GgbLine	Represents a line in GeoGebra with a name and two point names.
GgbMidpoint	Represents a midpoint in GeoGebra with a label and optionally associated points or a segment.
GgbPoint	Represents a point in GeoGebra with a name.
GgbSegment	Represents a segment in GeoGebra with a name and two point names.
Gib	The Gib class provides functionality for geometric computations, including operations on angles, lines, circles, triangles, and other geometric constructions.
GifDecoder	Class GifDecoder - Decodes a GIF file into one or more frames.
GifEncoder	GifEncoder.java This class is used to create GIF images.
GIFOptionDialog	A dialog for setting GIF options in GeoGebra.
GIFProcessDialog	A dialog for processing GIF creation in GeoGebra.
GProver	The GProver class implements the Runnable interface and is responsible for managing the proving process in GeoGebra.
Gr	Represents group related polynomial operations.
GrTerm	The GrTerm class represents a geometric term in the theorem proving framework.
GRule	Represents a rule in GeoGebra with a type, name, head, description, and example string.
GTerm	JGEX supports loading and saving scripts in a simple textual format.
HelpMode	The HelpMode class provides methods to manage and retrieve help items in GeoGebra.
ImageTimer	A dialog for saving a proof as a GIF file in GeoGebra.
Incenter	Represents an incenter(the center of the incircle) in a geometric proof.
JAngleFlash	JAngleFlash is a class that extends JFlash and implements ActionListener.
JAreaFlash	JAreaFlash is a class that extends JFlash and implements ActionListener.
JArrowFlash	JArrowFlash is a class that extends JFlash and implements ActionListener.
JBaseDialog	JBaseDialog is a custom dialog class that extends JDialog and implements ContainerListener and KeyListener interfaces.
JCgFlash	JCgFlash is a class that extends JFlash and implements ActionListener.
JCirFlash	JCirFlash is a class that extends JFlash and implements ActionListener.
JFileFilter	A file filter for use with JFileChooser that filters files based on a specified suffix.
JFlash	JFlash is an abstract class that provides methods for creating and managing graphical flash effects in a JPanel.
JLine	JLine class represents a line in a graphical context.
JLineFlash	A class that represents a flashing line effect.
JObjectFlash	A class that represents a flashing effect for graphical objects.
JPointEnlargeFlash	JPointEnlargeFlash is a class that extends JFlash and implements ActionListener.
JPolygonFlash	JPolygonFlash is a class that extends JFlash and implements ActionListener.
JPopExView	JPopExView is a class that represents a pop-up view for displaying rules in the GExpert application.
JRedoStepFlash	JRedoStepFlash is a class that extends JFlash and is used to create a flashing effect on a JPanel when the redo step is performed in the drawing process.
JSegmentMovingFlash	JSegmentMovingFlash is a class that extends JFlash and implements ActionListener.
JTLineFlash	JTLineFlash is a class that extends JFlash and implements ActionListener.
JTriFlash	JTriFlash is a class that extends JFlash and implements ActionListener.
Language	Language class for managing language-specific strings and font settings.
LeadVariableDialog	LeadVariableDialog is a class that extends JBaseDialog and implements MouseListener and ActionListener.
ListTree	ListTree provides a tabbed interface with two panels: - "Construct History": displays a list of undo structures
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.
MiscDialog	MiscDialog is a class that extends JBaseDialog and implements FocusListener and ActionListener.
Mnde	Represents a geometric construction node.
MProveInputPanel	MProveInputPanel is a class that represents a panel for manual input in a graphical user interface.
MProveTree	MProveTree is a custom JTree implementation that represents a tree structure for mathematical objects and their associated undo structures.
NdgCs	Represents a node in a geometric construction tree.
NdgDialog	NdgDialog is a custom dialog class that extends JBaseDialog and implements ActionListener, MouseMotionListener, MouseListener, ChangeListener, TableModelListener, and ListSelectionListener interfaces.
NeuQuant	NeuQuant is a class that implements the NeuQuant algorithm for color quantization.
NumCheckDialog	NumCheckDialog is a dialog for performing numerical checks on geometric points.
OvalBorder	OvalBorder is a class that implements the Border interface.
PanelAlgebraic	PanelAlgebraic is an abstract class that extends JScrollPane and implements Runnable and ActionListener interfaces.
PanelGB	PanelGB is a graphical panel for performing Groebner basis computations.
PanelProve	PanelProve is a class that represents a tabbed pane for displaying various proof-related panels in a graphical user interface (GUI).
PanelWu	PanelWu is a class that extends PanelAlgebraic and implements Runnable and MouseListener interfaces.
Param	Represents a parameter with a type, index, value, and optional monomial.
Parser	Parser is a class that parses a mathematical expression represented as a string and converts it into a TMono object.
PDFAnnot	This class defines an annotation (commonly known as a Bookmark).
PDFBorder	A border around an annotation
PDFCatalog	This class implements the PDF Catalog, also known as the root node
PDFDocument	Represents a PDF document with functionalities to manage PDF objects, pages, fonts, images, and document metadata.
PDFFont	This class defines a font within a PDF document.
PDFGraphics	This class is our implementation of AWT's Graphics class.
PDFImage	This implements the Image XObject.
PDFInfo	This class stores details of the author, the PDF generator etc.
PDFJob	This class extends awt's PrintJob, to provide a simple method of writing PDF documents.
PDFObject	This is the base class for all Objects that form the PDF document.
PDFOutline	This class manages the documents outlines (also known as bookmarks).
PDFOutput	This class is used to write a PDF document.
PDFPage	This class defines a single page within a document.
PDFPageList	This object contains the document's pages.
PDFPrinterJob	This class extends awt's PrinterJob, to provide a simple method of writing PDF documents.
PDFStream	This class implements a PDF stream object.
PDFStringHelper	String manipulation methods
PDFXref	This class is used to hold the xref information in the PDF Trailer block.
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.
PolyBasic	This class provides basic polynomial operations.
Polygon	Represents a polygon in a geometric construction.
PPDialog	PPDialog is a class that extends JBaseDialog and implements ActionListener, MouseMotionListener, MouseListener, and ChangeListener interfaces.
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.
RatioSelectDialog	RatioSelectDialog is a dialog that allows the user to input two integers representing a ratio.
RectangleSelectionDialog	RectangleSelectionDialog is a class that extends JBaseDialog and implements MouseListener, MouseMotionListener, ComponentListener, ActionListener, and Runnable.
RectChooser	RectChooser is a class that extends JBaseDialog and implements various mouse and action listeners.
RightClickPopMenu	RightClickPopMenu is a class that extends JPopupMenu and implements ActionListener.
RightTransformPopupMenu	RightTransformPopupMenu is a class that extends JPopupMenu and implements ItemListener and ActionListener.
Rule	Represents a rule in a geometric construction.
RuleApplicationDialog	RuleApplicationDialog is a dialog that displays the application of rules in the GExpert system.
RuleDialog	RuleDialog is a class that extends JBaseDialog and implements ChangeListener, ActionListener, and MouseListener interfaces.
RuleList	RuleList is a class that manages a list of rules for GDD and FULL types.
RuleListDialog	RuleListDialog is a dialog that displays a list of rules and allows the user to interact with them.
Rules	Rules class holds the translated geometric rules and full angle definitions.
RunningDialog	RunningDialog is a class that extends JPopupMenu and implements ActionListener.
SecondCounterDemo	SecondCounterDemo is a class that extends JBaseDialog and provides a countdown timer with a graphical user interface.
SelectDialog	SelectDialog is a class that extends JBaseDialog and implements ActionListener, ListSelectionListener, MouseListener, MouseMotionListener, and KeyListener interfaces.
SimTri	Rules class holds the translated geometric rules and full angle definitions.
SolidBorder	SolidBorder is a class that implements the Border interface.
SpecificAngleDialog	SpecificAngleDialog is a class that extends JBaseDialog and implements ActionListener and ItemListener.
StringTooLongException	This exception is thrown from gnu.jpdf.BoundingBox if the string won't fit into the box
STris	Constructs a SimTri object with default values.
TDono	Represents a Dono object which contains three polynomials.
TextFrame	TextFrame.java This class represents a dialog for editing text properties in a drawing application.
TextValueEditor	TextValueEditor is a dialog for editing mathematical expressions.
TLine	Constructs an STris object with default values.
TMono	Represents a monomial in a polynomial.
TPoly	Represents a polynomial linked list.
TransformConfirmDialog	TransformConfirmDialog.java This class represents a confirmation dialog for transformations in the GExpert application.
TreeCellOpaqueRender	TreeCellOpaqueRender.java This class is a custom tree cell renderer and editor for a JTree component.
UndoEditDialog	UndoEditDialog.java This class represents a dialog for displaying the undo edit history in a tree structure.
Var	The Var class represents a variable in a geometric context.
Version	Version is a class that provides version information for the Geometry Expert project.
VFontChooser	VFontChooser is a class that extends JBaseDialog and provides a font chooser dialog for selecting fonts, sizes, and styles.
WuTextPane	WuTextPane is a class that extends JTextPane and implements ActionListener.
XTerm	Constructs a Var object with default values.