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

D

declaration() - Method in class fmrisc.ProofNavigator.PNParser

declaration() - Method in class fmrisc.Proving.CVCL.CVCLParser

Declaration - Interface in fmrisc.Syntax

Interface for declarations.

DeclarationBase - Class in fmrisc.Syntax

Base class of type expressions.

DeclarationBase() - Constructor for class fmrisc.Syntax.DeclarationBase

DeclarationC - Class in fmrisc.ProofNavigator.Commands

Virtual command "declaration": process declaration in current environment

DeclarationC(Declaration) - Constructor for class fmrisc.ProofNavigator.Commands.DeclarationC

Create a "declaration" command.

Decompose - Class in fmrisc.ProofNavigator.Commands

command "decompose": decompose proof state by repeated skolemization and flattening.

Decompose() - Constructor for class fmrisc.ProofNavigator.Commands.Decompose

create a "decompose" command

DIGIT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

displayDeclarations() - Static method in class fmrisc.ProofNavigator.Main

Signal that declarations are to be displayed.

displayFile(String, File, boolean) - Static method in class fmrisc.ProofNavigator.SWT.MainSWT

Display file.

displayFile(String, File, boolean) - Method in class fmrisc.ProofNavigator.SWT.Top

Display file.

DIVIDES - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

dividesTerm(Expression, Expression) - Static method in class fmrisc.Syntax.Construct

construct quotient with components base1 and base2

DividesTerm - Class in fmrisc.Syntax

Handling of quotients.

DividesTerm(Expression, Expression) - Constructor for class fmrisc.Syntax.DividesTerm

construct quotient with components base1 and base2

DJBHash(String) - Static method in class fmrisc.External.GeneralHashFunctionLibrary

DOTDOT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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