Uses of Package
scphEditor

Classes in scphEditor used by scphEditor
AtomView
          This AWT component is the view of a simple string, e.g., the name of an Identifier, a part of an operator.
CloneableObservable
          This class re-implements java.util.Observable so it can be cloned safely.
Expression
          This class represents compound expressions.
ExpressionLayoutManager
           
ExpressionNary
          This class represents n-ary compound expressions.
ExpressionView
          This AWT component is the view class for Expression objects.
Identifier
          This class models terminal expressions, such as variables and constants like x and 10.
IdentifierView
          This AWT component is the view class for Identifier objects.
IEmbedding
          An IEmbedding object encapsulates presentation formatting data of an operator and its operands.
IOperator
          IOperator models an operator.
Operand
          This abstract class models an operand.
OperandContext
          This class is a simple record containing the context of an operand, i.e., itself, its position index in its parent, and the parent.
OperandControl
           
OperandVector
          This class models a vector of operands.
OperandVectorView
           
OperandView
           
OperandVisitor
          This is the ``visitor'' interface, as in the Visitor pattern, for visiting Operand trees.
ProverFrame
           
ProverFrame.PostExecute
           
ProverShell
          ProverShell runs the theorem prover at the back.
ProverShell.IPostExecute
          IPostExecute is the callback type for asynchronous execution.
ScphEditorPart
          ScphEditorPart defines our refinement/proof editor.
ScphEditorPlugin
          The main plugin class to be used in the desktop.
Variable
           
Work
          This class models an scphEditor document, a list of operands and stuff.
Workspace