- 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.