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
G
getById(String)
- Static method in class scphEditor.
OperatorStore
Retrieve an operator by internal identifier.
getByProverName(String)
- Static method in class scphEditor.
OperatorStore
Retrieve an operator by a prover-side name.
getChild(int)
- Method in class scphEditor.
Expression
Gives my child at the given index.
getChild(int)
- Method in class scphEditor.
OperandVector
Gives my child at the given index.
getChild(int)
- Method in class scphEditor.
Work
getChildren()
- Method in class scphEditor.
Expression
Enumerates all of my children, in ascending order of indexes.
getChildren()
- Method in class scphEditor.
OperandVector
Enumerates all of my children, in ascending order of indexes.
getChildren()
- Method in class scphEditor.
Work
getDefault()
- Static method in class scphEditor.
ScphEditorPlugin
Returns the shared instance.
getDocument()
- Method in class scphEditor.
DOMBuilder
getEmbedding()
- Method in class scphEditor.
ExpressionView
Returns the Embedding for the Operator of my Expression.
getGap()
- Method in class scphEditor.
RowLayout
getLayoutAlignmentX(Container)
- Method in class scphEditor.
MLMLayout2
getLayoutAlignmentY(Container)
- Method in class scphEditor.
MLMLayout2
getMinimumSize()
- Method in class scphEditor.
AtomView
Returns the display size of this AWT component.
getMinimumSize()
- Method in class scphEditor.
VariableView
getName()
- Method in class scphEditor.
Identifier
Returns the name of this identifier.
getNewLayout()
- Method in class scphEditor.
EmbeddingFixed
Gives a new instance of MLMLayout2, the preferred layout manager here.
getNewLayout()
- Method in class scphEditor.
EmbeddingNary
Gives a new instance of MLMLayout2, the preferred layout manager here.
getNewLayout()
- Method in interface scphEditor.
IEmbedding
Returns a new instance of the preferred layout manager.
getOperand()
- Method in class scphEditor.
ExpressionView
getOperand()
- Method in class scphEditor.
IdentifierView
getOperand()
- Method in class scphEditor.
NullView
getOperand()
- Method in interface scphEditor.
OperandView
getOperandVector()
- Method in class scphEditor.
ExpressionView
getOperandVector()
- Method in class scphEditor.
IdentifierView
getOperandVector()
- Method in class scphEditor.
NullView
getOperandVector()
- Method in interface scphEditor.
OperandVectorView
getOperandVector()
- Method in class scphEditor.
Workspace
getOperandView(int)
- Method in class scphEditor.
ExpressionView
getOperandView(int)
- Method in class scphEditor.
IdentifierView
getOperandView(int)
- Method in class scphEditor.
NullView
getOperandView(int)
- Method in interface scphEditor.
OperandVectorView
getOperandView(int)
- Method in class scphEditor.
Workspace
getOperator()
- Method in class scphEditor.
Expression
Gives the operator of this expression.
getOperator()
- Method in class scphEditor.
Identifier
Gives the operator in this identifier operand, which is the identifier itself.
getOperator()
- Method in class scphEditor.
Operand
Gives the operator in this subexpression.
getOperators()
- Static method in class scphEditor.
OperatorStore
Retrieve all operators.
getParen()
- Method in class scphEditor.
Expression
getParen()
- Method in class scphEditor.
Operand
Tells if I am already parenthesized.
getPName()
- Method in class scphEditor.
Identifier
Returns the prover name of this identifier.
getPreferredSize()
- Method in class scphEditor.
AtomView
Returns the display size of this AWT component.
getResourceBundle()
- Method in class scphEditor.
ScphEditorPlugin
Returns the plugin's resource bundle,
getResourceString(String)
- Static method in class scphEditor.
ScphEditorPlugin
Returns the string from the plugin's resource bundle, or 'key' if not found.
getSelection()
- Method in class scphEditor.
Workspace
getSplit()
- Method in class scphEditor.
Expression
getSplit()
- Method in class scphEditor.
Operand
Gets my split status.
getText()
- Method in class scphEditor.
AtomView
Gives the string displayed by this view.
getType()
- Method in class scphEditor.
Variable
getWork()
- Method in class scphEditor.
Loader
getWork()
- Method in class scphEditor.
Workspace
grind(OperandContext)
- Method in class scphEditor.
ProofMenu
group(int, int)
- Method in class scphEditor.
ExpressionNary
group()
- Method in class scphEditor.
Workspace
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