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
 

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