Package wprover

The wprover package provides core functionalities for geometric proving and constraint-based computations. This package is designed with a clear separation of concerns. It encapsulates the core proving logic, geometric drawing operations, and constraint verifications while isolating these functionalities from the main user interface management. Classes such as DrawBase demonstrate this design by offering methods for drawing geometric elements and handling interactions. Note: Although the focus of this package is on the prover functionalities, some classes may include minimal UI components solely to support interactive functionalities within the proving process.

Interface Summary

Interface	Description
DiagramUpdater	DiagramUpdater is an interface that defines a method for updating a diagram.

Class Summary

Class	Description
AboutDialog	The `AboutDialog` class represents a custom popup dialog that displays information about the application.
AllSolutionDialog	The `AllSolutionDialog` class provides a dialog for displaying and interacting with all possible solutions of a given problem within the GExpert application.
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.
AttrToCondDialog	AttrToCondDialog is a dialog class that allows users to select geometric attributes and convert them into conditions for geometric proofs.
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	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.
Circle	Represents a geometric circle with various properties and methods.
CLine	Represents a geometric line with various properties and methods.
CMisc	This class contains configuration and utility methods for the application.
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.
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.
CStyleDialog	CStyleDialog is a class that creates a dialog for selecting drawing styles, including color, line width, and line type.
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.
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.
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.
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.
GRule	Represents a rule in GeoGebra with a type, name, head, description, and example string.
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.
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
MiscDialog	MiscDialog is a class that extends JBaseDialog and implements FocusListener and ActionListener.
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.
NdgDialog	NdgDialog is a custom dialog class that extends JBaseDialog and implements ActionListener, MouseMotionListener, MouseListener, ChangeListener, TableModelListener, and ListSelectionListener interfaces.
NumCheckDialog	NumCheckDialog is a dialog for performing numerical checks on geometric points.
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.
Parser	Parser is a class that parses a mathematical expression represented as a string and converts it into a TMono object.
PPDialog	PPDialog is a class that extends JBaseDialog and implements ActionListener, MouseMotionListener, MouseListener, and ChangeListener interfaces.
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.
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.
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.
SpecificAngleDialog	SpecificAngleDialog is a class that extends JBaseDialog and implements ActionListener and ItemListener.
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.
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.
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.