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
 

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