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
A
acceptVisitor(OperandVisitor)
- Method in class scphEditor.
Expression
Calls v.visitExpression(this).
acceptVisitor(OperandVisitor)
- Method in class scphEditor.
ExpressionNary
Calls v.visitExpressionNary(this).
acceptVisitor(OperandVisitor)
- Method in class scphEditor.
Identifier
Calls v.visitIdentifier(this).
acceptVisitor(OperandVisitor)
- Method in class scphEditor.
Operand
Interface for OperandVisitor objects to visit this operand concretely.
acceptVisitor(OperandVisitor)
- Method in class scphEditor.
Variable
Calls v.visitIdentifier(this).
actionPerformed(ActionEvent)
- Method in class scphEditor.
ProofMenu
actionPerformed(ActionEvent)
- Method in class scphEditor.
ProverFrame
addChild(Operand, int)
- Method in class scphEditor.
Expression
This implementation does not do anything.
addChild(Operand, int)
- Method in class scphEditor.
ExpressionNary
addChild(Operand, int)
- Method in class scphEditor.
OperandVector
addChild(Operand, int)
- Method in class scphEditor.
Work
addLayoutComponent(String, Component)
- Method in class scphEditor.
MLMLayout2
addLayoutComponent(Component, Object)
- Method in class scphEditor.
MLMLayout2
addLayoutComponent(String, Component)
- Method in class scphEditor.
RowLayout
addNotify()
- Method in class scphEditor.
ExpressionView
addNotify()
- Method in class scphEditor.
IdentifierView
addObserver(Observer)
- Method in class scphEditor.
CloneableObservable
Adds an observer.
addParen()
- Method in class scphEditor.
Expression
addParen()
- Method in class scphEditor.
Operand
Parenthesizes me.
arity()
- Method in class scphEditor.
DefaultOperator
Returns the arity of this operator.
arity()
- Method in class scphEditor.
Identifier
Returns the arity of this identifier (as an operator).
arity()
- Method in interface scphEditor.
IOperator
Returns the arity of this operator.
ASSOC
- Static variable in interface scphEditor.
IOperator
If associative() returns ASSOC, this operator is (two-way) associative.
associative()
- Method in class scphEditor.
DefaultOperator
Returns the associativity of this operator.
associative()
- Method in class scphEditor.
Identifier
Returns the associativity of this identifier (as an operator).
associative()
- Method in interface scphEditor.
IOperator
Returns the associativity of this operator.
at
- Variable in class scphEditor.
Expression.Replacement
The range of replacement begins at this index.
AtomView
- Class in
scphEditor
This AWT component is the view of a simple string, e.g., the name of an Identifier, a part of an operator.
AtomView(String)
- Constructor for class scphEditor.
AtomView
Creates an AtomView object that displays the given string.
awtFrame
- Variable 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