|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |