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.

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