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
I
id()
- Method in class scphEditor.
DefaultOperator
id()
- Method in class scphEditor.
Identifier
id()
- Method in interface scphEditor.
IOperator
ID_OPERATORVIEWER
- Static variable in class scphEditor.
RefinementPerspectiveFactory
Identifier
- Class in
scphEditor
This class models terminal expressions, such as variables and constants like x and 10.
Identifier(String)
- Constructor for class scphEditor.
Identifier
Creates an identifier with the given name.
Identifier(String, String)
- Constructor for class scphEditor.
Identifier
Creates an identifier with the given name and prover name.
IdentifierView
- Class in
scphEditor
This AWT component is the view class for Identifier objects.
IdentifierView(Identifier, OperandControl)
- Constructor for class scphEditor.
IdentifierView
Creates an IdentifierView object that views the given Identifier.
IDFONT
- Static variable in class scphEditor.
Workspace
IEmbedding
- Interface in
scphEditor
An IEmbedding object encapsulates presentation formatting data of an operator and its operands.
index
- Variable in class scphEditor.
OperandContext
Its position in parent.
init(IEditorSite, IEditorInput)
- Method in class scphEditor.
ScphEditorPart
insert(Operand)
- Method in class scphEditor.
Workspace
insertCount
- Variable in class scphEditor.
Expression.Replacement
The replacement involves inserting these many children.
instance()
- Static method in class scphEditor.
ProverFrame
instance()
- Static method in class scphEditor.
ProverShell
interrupt()
- Method in class scphEditor.
ProverFrame
interrupt()
- Method in class scphEditor.
ProverShell
interrupt()
- Method in class scphEditor.
Shell
invalidate()
- Method in class scphEditor.
Workspace
invalidateLayout(Container)
- Method in class scphEditor.
MLMLayout2
IOperator
- Interface in
scphEditor
IOperator models an operator.
isAlive()
- Method in class scphEditor.
Shell
isDirty()
- Method in class scphEditor.
ScphEditorPart
isSaveAsAllowed()
- Method in class scphEditor.
ScphEditorPart
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