Uses of Interface
fmrisc.AST.Declaration

Packages that use Declaration
fmrisc.AST   
fmrisc.ProofNavigator   
fmrisc.Proving   
fmrisc.Proving.CVCL   
 

Uses of Declaration in fmrisc.AST
 

Classes in fmrisc.AST that implement Declaration
 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.AST that return Declaration
static Declaration[] ASTUtil.toDeclarationArray(java.util.Vector v)
          converts vector v of Declaration objects to Declaration array
 

Uses of Declaration in fmrisc.ProofNavigator
 

Methods in fmrisc.ProofNavigator with parameters of type Declaration
static void Main.processDeclaration(Declaration decl)
          process declaration
 

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)
          assert declaration