scphEditor
Class ProofMenu

java.lang.Object
  extended by scphEditor.ProofMenu

public class ProofMenu
extends java.lang.Object


Nested Class Summary
(package private)  class ProofMenu.PostConvert
           
(package private)  class ProofMenu.PostQED
           
 
Constructor Summary
ProofMenu()
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
           
 void grind(OperandContext c)
           
 void send(OperandContext c)
           
 void simplify()
           
 void simplify(OperandContext c)
           
 void tautology(OperandContext c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofMenu

public ProofMenu()
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

send

public void send(OperandContext c)

simplify

public void simplify()

simplify

public void simplify(OperandContext c)

tautology

public void tautology(OperandContext c)

grind

public void grind(OperandContext c)