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
 

A C D E F G I K L M N O P R S T U V W