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

B

base - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ArrayType
 
base - Variable in class fmrisc.ProgramExplorer.Syntax.Program.NewType
 
base - Variable in class fmrisc.ProgramExplorer.Syntax.Program.SelectorExpression
 
base - Variable in class fmrisc.ProgramExplorer.Syntax.Program.UnaryValueExpression
 
baseFunctions - Static variable in class fmrisc.ProgramExplorer.Judgements.ExpressionLogic
 
baseKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.ArrayType
 
baseTheoryName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
 
beginToken - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.RecordTerm
 
beginToken - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.RecordType
 
beginToken - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.SubrangeType
 
beginToken - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.TupleTerm
 
beginToken - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.TupleType
 
BinaryAtomicFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
Base class of atomic formulas with binary operators.
BinaryExpression - Class in fmrisc.ProgramExplorer.Syntax.Logic
Base class of binary expressions.
BinaryExpression - Class in fmrisc.ProofNavigator.Syntax
Abstract base class of binary expressions
BinaryExpression(String, Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.BinaryExpression
constructs binary expression from op, first, and second
BinaryFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
Base class of binary formulas.
BinaryTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
Base class of binary terms.
BinaryValueExpression - Class in fmrisc.ProgramExplorer.Syntax.Program
The base class of binary expressions denoting values.
bind(ValueDeclIdentifier, Expression, Expression) - Static method in class fmrisc.ProofNavigator.Proving.ProofUtil
Construct expression that binds ident to value in body.
BIT - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
BITAND - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
BITAND - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
BITAND - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
BITAND - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
BitAndTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A bit conjunction term.
BitAndTerm - Class in fmrisc.ProofNavigator.Syntax
Handling of bit conjunctions.
BitAndTerm(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.BitAndTerm
construct bit conjunction with components base1 and base2
bitAndTerm(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct bit conjunction with components base1 and base2
BitFalse - Class in fmrisc.ProgramExplorer.Syntax.Logic
A literal denoting the bit value "0".
BITFALSE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
BitLiteral - Class in fmrisc.ProgramExplorer.Syntax.Logic
A bit (i.e., 0,1) value.
BitLogical - Class in fmrisc.ProofNavigator.Syntax
Bit logical constants.
BitLogical(boolean) - Constructor for class fmrisc.ProofNavigator.Syntax.BitLogical
construct logical constant with denoted value
bitLogical(boolean) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct bit logical constant with denoted value.
BitNegationTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A bit negation term.
BITNOT - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
BITNOT - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
BITNOT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
BITNOT - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
BitNotTerm - Class in fmrisc.ProofNavigator.Syntax
Handling of bit negations
BitNotTerm(Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.BitNotTerm
construct bit negation (not term) of base term
bitNotTerm(Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct negation (not term) of base term
BITOR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
BITOR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
BITOR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
BITOR - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
BitOrTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A bit disjunction term.
BitOrTerm - Class in fmrisc.ProofNavigator.Syntax
Handling of bit disjunctions.
BitOrTerm(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.BitOrTerm
construct bit disjunction with components base1 and base2
bitOrTerm(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct bit disjunction with components base1 and base2
BitTrue - Class in fmrisc.ProgramExplorer.Syntax.Logic
A literal denoting the bit value "1".
BITTRUE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
bitType - Static variable in class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
 
BitType - Class in fmrisc.ProgramExplorer.Syntax.Logic
The type of bit values.
BKDRHash(String) - Static method in class fmrisc.External.GeneralHashFunctionLibrary
 
block() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
BlockStatement - Class in fmrisc.ProgramExplorer.Syntax.Program
A block statement i.e.
body - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ForLoopStatement
 
body - Variable in class fmrisc.ProgramExplorer.Syntax.Program.Handler
 
body - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ParamDeclarationBase
 
body - Variable in class fmrisc.ProgramExplorer.Syntax.Program.TryCatchStatement
 
body - Variable in class fmrisc.ProgramExplorer.Syntax.Program.WhileLoopStatement
 
BodySymbol - Class in fmrisc.ProgramExplorer.Semantics
The symbol for a variable introduced in a method/constructor body.
booleanAsLogical() - Static method in class fmrisc.ProofNavigator.State
Is type BOOLEAN externally represented as LOGICAL (and type BIT as BOOLEAN)?
booleanFormula(boolean) - Static method in class fmrisc.ProgramExplorer.Judgements.ExpressionLogic
Convert boolean to truth formula.
BooleanLiteral - Class in fmrisc.ProgramExplorer.Syntax.Logic
A logical (i.e.
BooleanLiteral - Class in fmrisc.ProgramExplorer.Syntax.Program
A Boolean literal.
booleanTerm(boolean) - Static method in class fmrisc.ProgramExplorer.Judgements.ExpressionLogic
Convert boolean to constant term.
booleanType - Static variable in class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
 
booleanType - Variable in class fmrisc.ProgramExplorer.Semantics.TypeTable
 
BooleanType - Class in fmrisc.ProgramExplorer.Syntax.Logic
The type of truth values.
BooleanType - Class in fmrisc.ProgramExplorer.Syntax.Program
The type of truth values
BoundVariables - Class in fmrisc.ProofNavigator.Semantics
Compute the variables bound within an expression.
BoundVariables() - Constructor for class fmrisc.ProofNavigator.Semantics.BoundVariables
 
BreakInfo - Class in fmrisc.ProofNavigator.Communication
Line break information for pretty-printing abstract syntax trees.
Breaks - Class in fmrisc.ProgramExplorer.InOut
Compute line break information for pretty-printing abstract syntax trees.
breaks - Variable in class fmrisc.ProgramExplorer.Judgements.StatJudgement
 
Breaks.Info - Class in fmrisc.ProgramExplorer.InOut
The information compute for a syntax tree.
breakstat() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
BreakStatement - Class in fmrisc.ProgramExplorer.Syntax.Program
A break statement.
BrowserWindow - Class in fmrisc.ProgramExplorer.SWT
A browser window.
BrowserWindow(MainSWT, Shell, int, int) - Constructor for class fmrisc.ProgramExplorer.SWT.BrowserWindow
Construct panel for denoted GUI and shell.
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links