Package wprover

Class GProver

  • All Implemented Interfaces:
    java.lang.Runnable
    public class GProver
extends java.lang.Object
implements java.lang.Runnable
    The GProver class implements the Runnable interface and is responsible for managing the proving process in GeoGebra.

    • Constructor Summary

      Constructors 
      Constructor Description
      GProver​(PanelProve p, GExpert fr)
      Constructs a new GProver with the specified PanelProve and GExpert instances.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isRunning()
      Checks if the proving process is currently running.
      void run()
      Runs the proving process in a separate thread.
      void setFix()
      Sets the status to fix mode.
      void setProve()
      Sets the status to prove mode.
      void start()
      Starts the proving process in a new thread.
      void startTimer()
      Starts the timer for the proving process.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • GProver

        public GProver​(PanelProve p,
               GExpert fr)
        Constructs a new GProver with the specified PanelProve and GExpert instances.
        Parameters:
        p - the PanelProve instance
        fr - the GExpert instance

    • Method Detail

      • setFix

        public void setFix()
        Sets the status to fix mode.

      • setProve

        public void setProve()
        Sets the status to prove mode.

      • startTimer

        public void startTimer()
        Starts the timer for the proving process.

      • run

        public void run()
        Runs the proving process in a separate thread.
        Specified by:
        run in interface java.lang.Runnable

      • start

        public void start()
        Starts the proving process in a new thread.

      • isRunning

        public boolean isRunning()
        Checks if the proving process is currently running.
        Returns:
        true if the proving process is running, false otherwise