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

P

paint(Graphics) - Method in class scphEditor.AtomView
Redraws this AWT component.
paint(Graphics) - Method in class scphEditor.ExpressionView
 
paint(Graphics) - Method in class scphEditor.VariableView
 
paint(Graphics) - Method in class scphEditor.Workspace
 
paren - Variable in class scphEditor.Expression
True iff this operand is parenthesized.
PAREN - Static variable in interface scphEditor.ExpressionLayoutManager
 
paren - Variable in class scphEditor.ExpressionView
True iff I am showing parentheses.
parent - Variable in class scphEditor.OperandContext
Parent.
parenthesize() - Method in class scphEditor.ExpressionView
Helper function.
parentview - Variable in class scphEditor.OperandContext
Display rep of parent.
parse(String) - Static method in class scphEditor.OperatorStore
Parses a file (assumes UTF-8 encoding) for operator specificaitons and stores them.
parse(InputStream) - Static method in class scphEditor.OperatorStore
Parses an input stream (assumes UTF-8 encoding) for operator specifications and stores them.
parse(Reader) - Static method in class scphEditor.OperatorStore
Parses a reader for operator specifications and stores them.
postExecute(String) - Method in class scphEditor.ProofMenu.PostConvert
 
postExecute(String) - Method in class scphEditor.ProofMenu.PostQED
 
postExecute(String) - Method in class scphEditor.ProverFrame.PostExecute
 
postExecute(String) - Method in interface scphEditor.ProverShell.IPostExecute
Callback method for receiving the output of an execution.
precedence() - Method in class scphEditor.DefaultOperator
Returns the precedence of this operator.
precedence() - Method in class scphEditor.Identifier
Returns the precedence of this identifier (as an operator).
precedence() - Method in interface scphEditor.IOperator
Returns the precedence, as a number, of this operator.
preferredLayoutSize(Container) - Method in class scphEditor.MLMLayout2
 
preferredLayoutSize(Container) - Method in class scphEditor.RowLayout
 
print(Graphics) - Method in class scphEditor.AtomView
 
proof_content - Variable in class scphEditor.ScphEditorPart
Reference to the proof content.
ProofMenu - Class in scphEditor
 
ProofMenu() - Constructor for class scphEditor.ProofMenu
 
ProofMenu.PostConvert - Class in scphEditor
 
ProofMenu.PostConvert(OperandContext) - Constructor for class scphEditor.ProofMenu.PostConvert
 
ProofMenu.PostQED - Class in scphEditor
 
ProofMenu.PostQED(OperandContext) - Constructor for class scphEditor.ProofMenu.PostQED
 
ProverFrame - Class in scphEditor
 
ProverFrame.PostExecute - Class in scphEditor
 
ProverFrame.PostExecute() - Constructor for class scphEditor.ProverFrame.PostExecute
 
proverName() - Method in class scphEditor.DefaultOperator
 
proverName() - Method in class scphEditor.Identifier
 
proverName() - Method in interface scphEditor.IOperator
 
proverName0() - Method in class scphEditor.DefaultOperator
 
proverName0() - Method in class scphEditor.Identifier
 
proverName0() - Method in interface scphEditor.IOperator
 
ProverShell - Class in scphEditor
ProverShell runs the theorem prover at the back.
ProverShell.IPostExecute - Interface in scphEditor
IPostExecute is the callback type for asynchronous execution.

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