Package wprover

Class PanelProve

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, javax.swing.SwingConstants
    public class PanelProve
extends javax.swing.JTabbedPane
implements javax.swing.event.ChangeListener
    PanelProve is a class that represents a tabbed pane for displaying various proof-related panels in a graphical user interface (GUI). It includes panels for construction, GDD (General Deduction), area method, manual proof editor, and database.
    See Also:
    Serialized Form

    • Nested Class Summary

      • Nested classes/interfaces inherited from class javax.swing.JTabbedPane

        javax.swing.JTabbedPane.AccessibleJTabbedPane, javax.swing.JTabbedPane.ModelListener

      • Nested classes/interfaces inherited from class javax.swing.JComponent

        javax.swing.JComponent.AccessibleJComponent

      • Nested classes/interfaces inherited from class java.awt.Container

        java.awt.Container.AccessibleAWTContainer

      • Nested classes/interfaces inherited from class java.awt.Component

        java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

    • Field Summary

      Fields 
      Modifier and Type Field Description
      GProver gprover  
      static java.lang.String graphvizProgram  
      static java.lang.String hypotheses  

      • Fields inherited from class javax.swing.JTabbedPane

        changeEvent, changeListener, model, SCROLL_TAB_LAYOUT, tabPlacement, WRAP_TAB_LAYOUT

      • Fields inherited from class javax.swing.JComponent

        listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

      • Fields inherited from class java.awt.Component

        accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

      • Fields inherited from interface java.awt.image.ImageObserver

        ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

      • Fields inherited from interface javax.swing.SwingConstants

        BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NEXT, NORTH, NORTH_EAST, NORTH_WEST, PREVIOUS, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add_ndgs​(Cons s)  
      void add_predicates​(java.lang.String sh, java.util.Vector v)  
      void addConclusion​(java.lang.String s)  
      void addElmToNode​(javax.swing.tree.DefaultMutableTreeNode node, ElTerm e1)  
      void addGddProveTree​(Cond co)  
      void addGddProveTree_ls​(LList ls)  
      void addProveTree​(java.util.Vector vl, java.util.Vector vd)  
      void clearAll()  
      void displayDatabase​(long t)  
      void displayGDDProve​(boolean t)  
      void drawConstruction()  
      void finishedDrawing()  
      void flash_cond​(Cond co)  
      void flashattr​(CClass cc)  
      void full_step()  
      void gdd_step()  
      void generate()  
      GTerm getConstructionTerm()  
      FactFinderDialog getFactFinderDialog()  
      MProveInputPanel getmInputPanel()  
      wprover.MNode getmproveNode()  
      javax.swing.JMenu getProveMenu()  
      Cond getSelectedCondFromAttr​(CClass c)  
      boolean hasProof()  
      void high_light_a_fact​(CClass c)  
      void initFont()  
      boolean isProverRunning()  
      boolean isStepAtEnd()  
      boolean isStepAtMid()  
      boolean load​(java.io.File file)  
      void loadMTree​(wprover.MNode n)  
      boolean LoadProve​(java.io.DataInputStream in)  
      void m_runtobegin()  
      void m_runtoend()  
      boolean mstep()  
      void mstop()  
      void prove()  
      void proveArea()  
      void proveCond​(Cond co, boolean n)  
      boolean proveFull()  
      void proveGB()  
      void proveGdd()  
      void proveWu()  
      boolean SaveProve​(java.io.DataOutputStream out)  
      boolean selectAPoint​(CPoint p)  
      void set_conclusion​(Cons s, boolean r)  
      void setListData​(java.util.Vector v)  
      void setListSelection​(Cons c)  
      void setListSelectionLast()  
      void setMember​(wprover.DPanel dd, DrawTextProcess dp)  
      void setProofStatus​(int n)  
      void setSelectedConstruction​(Cons c)  
      void setSelectedIndex​(int index)  
      void setTreeFullFont​(java.awt.Font f)  
      void show_AllFullAux​(boolean ang)  
      void showDatabase()  
      void showFullGIB()  
      void showNDGs()  
      void showTime​(long n)  
      void stateChanged​(javax.swing.event.ChangeEvent e)  

      • Methods inherited from class javax.swing.JTabbedPane

        add, add, add, add, add, addChangeListener, addTab, addTab, addTab, createChangeListener, fireStateChanged, getAccessibleContext, getBackgroundAt, getBoundsAt, getChangeListeners, getComponentAt, getDisabledIconAt, getDisplayedMnemonicIndexAt, getForegroundAt, getIconAt, getMnemonicAt, getModel, getSelectedComponent, getSelectedIndex, getTabComponentAt, getTabCount, getTabLayoutPolicy, getTabPlacement, getTabRunCount, getTitleAt, getToolTipText, getToolTipTextAt, getUI, getUIClassID, indexAtLocation, indexOfComponent, indexOfTab, indexOfTab, indexOfTabComponent, insertTab, isEnabledAt, paramString, remove, remove, removeAll, removeChangeListener, removeTabAt, setBackgroundAt, setComponentAt, setDisabledIconAt, setDisplayedMnemonicIndexAt, setEnabledAt, setForegroundAt, setIconAt, setMnemonicAt, setModel, setSelectedComponent, setTabComponentAt, setTabLayoutPolicy, setTabPlacement, setTitleAt, setToolTipTextAt, setUI, updateUI

      • Methods inherited from class javax.swing.JComponent

        addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

      • Methods inherited from class java.awt.Container

        addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

      • Methods inherited from class java.awt.Component

        action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • graphvizProgram

        public static java.lang.String graphvizProgram

      • hypotheses

        public static java.lang.String hypotheses

    • Constructor Detail

      • PanelProve

        public PanelProve​(GExpert gx,
                  wprover.DPanel dd,
                  DrawTextProcess dp,
                  boolean mbar,
                  int idonly)

    • Method Detail

      • initFont

        public void initFont()

      • setSelectedIndex

        public void setSelectedIndex​(int index)
        Overrides:
        setSelectedIndex in class javax.swing.JTabbedPane

      • setMember

        public void setMember​(wprover.DPanel dd,
                      DrawTextProcess dp)

      • stateChanged

        public void stateChanged​(javax.swing.event.ChangeEvent e)
        Specified by:
        stateChanged in interface javax.swing.event.ChangeListener

      • SaveProve

        public boolean SaveProve​(java.io.DataOutputStream out)
                  throws java.io.IOException
        Throws:
        java.io.IOException

      • LoadProve

        public boolean LoadProve​(java.io.DataInputStream in)
                  throws java.io.IOException
        Throws:
        java.io.IOException

      • getmproveNode

        public wprover.MNode getmproveNode()

      • getProveMenu

        public javax.swing.JMenu getProveMenu()

      • loadMTree

        public void loadMTree​(wprover.MNode n)

      • mstop

        public void mstop()

      • isStepAtEnd

        public boolean isStepAtEnd()

      • isStepAtMid

        public boolean isStepAtMid()

      • hasProof

        public boolean hasProof()

      • setProofStatus

        public void setProofStatus​(int n)

      • mstep

        public boolean mstep()

      • m_runtobegin

        public void m_runtobegin()

      • m_runtoend

        public void m_runtoend()

      • gdd_step

        public void gdd_step()

      • full_step

        public void full_step()

      • selectAPoint

        public boolean selectAPoint​(CPoint p)

      • addConclusion

        public void addConclusion​(java.lang.String s)

      • proveWu

        public void proveWu()

      • proveGB

        public void proveGB()

      • proveArea

        public void proveArea()

      • showTime

        public void showTime​(long n)

      • showDatabase

        public void showDatabase()

      • isProverRunning

        public boolean isProverRunning()

      • showFullGIB

        public void showFullGIB()

      • displayDatabase

        public void displayDatabase​(long t)

      • show_AllFullAux

        public void show_AllFullAux​(boolean ang)

      • getConstructionTerm

        public GTerm getConstructionTerm()

      • generate

        public void generate()

      • drawConstruction

        public void drawConstruction()

      • proveGdd

        public void proveGdd()

      • displayGDDProve

        public void displayGDDProve​(boolean t)

      • prove

        public void prove()

      • proveCond

        public void proveCond​(Cond co,
                      boolean n)

      • proveFull

        public boolean proveFull()

      • addElmToNode

        public void addElmToNode​(javax.swing.tree.DefaultMutableTreeNode node,
                         ElTerm e1)

      • addGddProveTree_ls

        public void addGddProveTree_ls​(LList ls)

      • addGddProveTree

        public void addGddProveTree​(Cond co)

      • add_predicates

        public void add_predicates​(java.lang.String sh,
                           java.util.Vector v)

      • addProveTree

        public void addProveTree​(java.util.Vector vl,
                         java.util.Vector vd)

      • setListData

        public void setListData​(java.util.Vector v)

      • clearAll

        public void clearAll()

      • setListSelection

        public void setListSelection​(Cons c)

      • setListSelectionLast

        public void setListSelectionLast()

      • finishedDrawing

        public void finishedDrawing()

      • setTreeFullFont

        public void setTreeFullFont​(java.awt.Font f)

      • load

        public boolean load​(java.io.File file)

      • flash_cond

        public void flash_cond​(Cond co)

      • flashattr

        public void flashattr​(CClass cc)

      • showNDGs

        public void showNDGs()

      • setSelectedConstruction

        public void setSelectedConstruction​(Cons c)

      • set_conclusion

        public void set_conclusion​(Cons s,
                           boolean r)

      • add_ndgs

        public void add_ndgs​(Cons s)

      • getSelectedCondFromAttr

        public Cond getSelectedCondFromAttr​(CClass c)

      • high_light_a_fact

        public void high_light_a_fact​(CClass c)