A B C D E F G H I J K L M N O P Q R S T U V W X _

W

WIDTH - Static variable in class fmrisc.Communication.PrettyMathML

WIDTH - Static variable in class fmrisc.Communication.PrettyPrinter

The pretty printer depends on the current printing mode (LINE or BLOCK) and the current indentation level LEVEL.

write(Proof) - Method in class fmrisc.Communication.Store

Write proof to store updating the dependencies file.

write(Declaration, Collection) - Method in class fmrisc.Communication.Store

Write value declaration to store.

write(OMObject) - Method in class fmrisc.External.NewOMDOMWriter

Write out a DOM document.

write(byte[], int, int) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream

Write a section of an byte array to the output stream.

write(byte[]) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream

Write a byte array to the output stream.

write(int) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream

Write a byte to the output stream.

writeDeclaration(Declaration) - Method in class fmrisc.Communication.Presenter

Write declaration to declaration file.

writeDep(File, Collection) - Method in class fmrisc.Communication.Store

Write dependencies to file.

writeNode(OMObject) - Method in class fmrisc.External.NewOMDOMWriter

Write out a DOM document node.

writeProofIndex(Proof) - Method in class fmrisc.Communication.Presenter

Write index of proof to file suitable for later display of proof states.

writeProofState(ProofState) - Method in class fmrisc.Communication.Presenter

Write proof state and return corresponding file.

WS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

WS - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes