|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |