Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W
P
paint(Graphics)
- Method in class scphEditor.
AtomView
Redraws this AWT component.
paint(Graphics)
- Method in class scphEditor.
ExpressionView
paint(Graphics)
- Method in class scphEditor.
VariableView
paint(Graphics)
- Method in class scphEditor.
Workspace
paren
- Variable in class scphEditor.
Expression
True iff this operand is parenthesized.
PAREN
- Static variable in interface scphEditor.
ExpressionLayoutManager
paren
- Variable in class scphEditor.
ExpressionView
True iff I am showing parentheses.
parent
- Variable in class scphEditor.
OperandContext
Parent.
parenthesize()
- Method in class scphEditor.
ExpressionView
Helper function.
parentview
- Variable in class scphEditor.
OperandContext
Display rep of parent.
parse(String)
- Static method in class scphEditor.
OperatorStore
Parses a file (assumes UTF-8 encoding) for operator specificaitons and stores them.
parse(InputStream)
- Static method in class scphEditor.
OperatorStore
Parses an input stream (assumes UTF-8 encoding) for operator specifications and stores them.
parse(Reader)
- Static method in class scphEditor.
OperatorStore
Parses a reader for operator specifications and stores them.
postExecute(String)
- Method in class scphEditor.
ProofMenu.PostConvert
postExecute(String)
- Method in class scphEditor.
ProofMenu.PostQED
postExecute(String)
- Method in class scphEditor.
ProverFrame.PostExecute
postExecute(String)
- Method in interface scphEditor.
ProverShell.IPostExecute
Callback method for receiving the output of an execution.
precedence()
- Method in class scphEditor.
DefaultOperator
Returns the precedence of this operator.
precedence()
- Method in class scphEditor.
Identifier
Returns the precedence of this identifier (as an operator).
precedence()
- Method in interface scphEditor.
IOperator
Returns the precedence, as a number, of this operator.
preferredLayoutSize(Container)
- Method in class scphEditor.
MLMLayout2
preferredLayoutSize(Container)
- Method in class scphEditor.
RowLayout
print(Graphics)
- Method in class scphEditor.
AtomView
proof_content
- Variable in class scphEditor.
ScphEditorPart
Reference to the proof content.
ProofMenu
- Class in
scphEditor
ProofMenu()
- Constructor for class scphEditor.
ProofMenu
ProofMenu.PostConvert
- Class in
scphEditor
ProofMenu.PostConvert(OperandContext)
- Constructor for class scphEditor.
ProofMenu.PostConvert
ProofMenu.PostQED
- Class in
scphEditor
ProofMenu.PostQED(OperandContext)
- Constructor for class scphEditor.
ProofMenu.PostQED
ProverFrame
- Class in
scphEditor
ProverFrame.PostExecute
- Class in
scphEditor
ProverFrame.PostExecute()
- Constructor for class scphEditor.
ProverFrame.PostExecute
proverName()
- Method in class scphEditor.
DefaultOperator
proverName()
- Method in class scphEditor.
Identifier
proverName()
- Method in interface scphEditor.
IOperator
proverName0()
- Method in class scphEditor.
DefaultOperator
proverName0()
- Method in class scphEditor.
Identifier
proverName0()
- Method in interface scphEditor.
IOperator
ProverShell
- Class in
scphEditor
ProverShell runs the theorem prover at the back.
ProverShell.IPostExecute
- Interface in
scphEditor
IPostExecute is the callback type for asynchronous execution.
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W