Uses of Interface
fmrisc.Syntax.Declaration

Packages that use Declaration

fmrisc.Communication
fmrisc.ProofNavigator
fmrisc.ProofNavigator.Commands
fmrisc.Proving
fmrisc.Proving.CVCL
fmrisc.Syntax

Uses of Declaration in fmrisc.Communication

Methods in fmrisc.Communication that return Declaration

static Declaration	Store.readDeclaration(java.io.File file) Read declaration from file.
static Declaration	OMDoc.toDeclaration(org.w3c.dom.Node node) Convert OMDoc representation to declaration.
static Declaration	Store.toDeclaration(org.w3c.dom.Node node) Convert DOM node to declaration.

Methods in fmrisc.Communication with parameters of type Declaration

void	MathML.appendDecl(org.w3c.dom.Node parent, Declaration object) Convert declaration to DOM representation of HTML/MathML markup.
void	PrettyMathML.appendDecl(org.w3c.dom.Node parent, Declaration object) Convert declaration to DOM representation of HTML/MathML markup.
boolean	Store.hasChanged(Declaration decl) Signal whether declaration has changed compared to that in store.
void	PrettyPrinter.print(Declaration decl) Pretty-print declaration.
org.w3c.dom.Element	OMDoc.toNode(Declaration decl) Convert declaration to OMDoc representation in DOM format.
boolean	Store.write(Declaration decl, java.util.Collection referenced) Write value declaration to store.
boolean	Presenter.writeDeclaration(Declaration decl) Write declaration to declaration file.

Uses of Declaration in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return Declaration

Declaration

PNParser.declaration()

Methods in fmrisc.ProofNavigator with parameters of type Declaration

static boolean

Main.newDeclaration(Declaration decl) Signal new declaration.

Uses of Declaration in fmrisc.ProofNavigator.Commands

Constructors in fmrisc.ProofNavigator.Commands with parameters of type Declaration

DeclarationC(Declaration decl)
Create a "declaration" command.

Uses of Declaration in fmrisc.Proving

Methods in fmrisc.Proving with parameters of type Declaration

void	Prover.addDeclaration(Declaration decl) add declaration

Uses of Declaration in fmrisc.Proving.CVCL

Methods in fmrisc.Proving.CVCL with parameters of type Declaration

void	CVCL.addDeclaration(Declaration decl) Add declaration.

Uses of Declaration in fmrisc.Syntax

Classes in fmrisc.Syntax that implement Declaration

class	AxiomDeclaration Handling of type declarations.
class	DeclarationBase Base class of type expressions.
class	FormulaDeclaration Handling of type declarations.
class	TypeDeclaration Handling of type declarations.
class	ValueDeclaration Handling of value declarations.

Methods in fmrisc.Syntax that return Declaration

static Declaration[]

ASTUtil.toDeclarationArray(java.util.Vector v) converts vector v of Declaration objects to Declaration array