Uses of Class
scphEditor.OperandContext

Uses of OperandContext in scphEditor
 

Methods in scphEditor with parameters of type OperandContext
 void ProofMenu.grind(OperandContext c)
           
 void ProofMenu.send(OperandContext c)
           
 void ProofMenu.simplify(OperandContext c)
           
 void ProofMenu.tautology(OperandContext c)
           
 

Constructors in scphEditor with parameters of type OperandContext
ProofMenu.PostConvert(OperandContext c)
           
ProofMenu.PostQED(OperandContext c)