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
E
editor_widget
- Variable in class scphEditor.
ScphEditorPart
Reference to the widget/control that displays/edits proof content.
EmbeddingFixed
- Class in
scphEditor
An EmbeddingFixed object encapsulates presentation styles, in AWT terms, of an operator and its operands.
EmbeddingFixed(String[])
- Constructor for class scphEditor.
EmbeddingFixed
Creates an EmbeddingFixed object.
EmbeddingNary
- Class in
scphEditor
An EmbeddingNary object encapsulates presentation styles, in AWT terms, of an operator and its operands.
EmbeddingNary(String)
- Constructor for class scphEditor.
EmbeddingNary
Creates an EmbeddingNary object.
endElement(String, String, String)
- Method in class scphEditor.
Loader
ensureParen(Operand)
- Method in class scphEditor.
Operand
Parenthesizes me, if I need to be.
execute(String)
- Method in class scphEditor.
ProverFrame
execute(String, ProverFrame.PostExecute)
- Method in class scphEditor.
ProverFrame
execute(String)
- Method in class scphEditor.
ProverShell
Execute a command synchronously.
execute(String, ProverShell.IPostExecute)
- Method in class scphEditor.
ProverShell
Execute a command asynchronously.
execute(String)
- Method in class scphEditor.
Shell
Expression
- Class in
scphEditor
This class represents compound expressions.
Expression(IOperator)
- Constructor for class scphEditor.
Expression
Constructs an Expression object with the given operator.
Expression.Replacement
- Class in
scphEditor
A Replacement object represents a substitutional change made to an Expression object.
Expression.Replacement(int, int, int)
- Constructor for class scphEditor.
Expression.Replacement
Creates a Replacement object.
ExpressionLayoutManager
- Interface in
scphEditor
ExpressionNary
- Class in
scphEditor
This class represents n-ary compound expressions.
ExpressionNary(IOperator)
- Constructor for class scphEditor.
ExpressionNary
Constructs an n-ary Expression object with the given operator.
ExpressionNary(IOperator, int)
- Constructor for class scphEditor.
ExpressionNary
Constructs an n-ary Expression object with the given operator.
ExpressionNaryView
- Class in
scphEditor
This AWT component is the view class for ExpressionNary objects.
ExpressionNaryView(ExpressionNary, OperandControl)
- Constructor for class scphEditor.
ExpressionNaryView
Constructor.
ExpressionView
- Class in
scphEditor
This AWT component is the view class for Expression objects.
ExpressionView(Expression, OperandControl)
- Constructor for class scphEditor.
ExpressionView
Constructor.
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