- IDENT - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
-
- IDENT - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- IDENT - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
-
- IDENT - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- ident - Variable in class fmrisc.ProgramExplorer.Syntax.Program.VariableValue
-
- IDENT - Static variable in class fmrisc.ProofNavigator.PN2Lexer
-
- IDENT - Static variable in class fmrisc.ProofNavigator.PN2Parser
-
- IDENT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
-
- IDENT - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
-
- Identifier - Class in fmrisc.ProgramExplorer.Syntax
-
A simple (unstructured) identifier.
- Identifier - Class in fmrisc.ProofNavigator.Syntax
-
Handling of identifiers.
- Identifier(String) - Constructor for class fmrisc.ProofNavigator.Syntax.Identifier
-
construct identifier from name
- IdentifierSelector - Class in fmrisc.ProgramExplorer.Syntax.Program
-
Component selection by name.
- idents - Variable in class fmrisc.ProgramExplorer.Syntax.Name
-
- ifKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.IfThenElseExpression
-
- IfThenElseExpression - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of a conditional expression.
- ifThenElseExpression(Expression, Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
-
construct if-then-else expressions from condition, thenbranch, elsebranch.
- IfThenElseExpression - Class in fmrisc.ProofNavigator.Syntax
-
Handling of if-then-else expressions.
- IfThenElseExpression(Expression, Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.IfThenElseExpression
-
construct if-then-else expressions from condition, thenbranch, elsebranch.
- ifThenElseFormula(Formula, Formula, Formula) - Static method in class fmrisc.ProgramExplorer.Judgements.Satisfies
-
Combine formulas by conditional selection.
- IfThenElseFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of a conditional formula.
- IfThenElseTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of a conditional term.
- IGNORE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
-
- IGNORE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
-
- IMPLIES - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
-
- IMPLIES - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- IMPLIES - Static variable in class fmrisc.ProofNavigator.PN2Lexer
-
- IMPLIES - Static variable in class fmrisc.ProofNavigator.PN2Parser
-
- IMPLIES - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
-
- IMPLIES - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
-
- implies(Expression) - Method in class fmrisc.ProofNavigator.Semantics.Context
-
conjoin formula to the current formula on the top of the stack
- impliesFormula(Formula, Formula) - Static method in class fmrisc.ProgramExplorer.Judgements.Satisfies
-
Combine formulas by implication.
- ImpliesFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A logical implication.
- impliesFormula(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
-
construct implication with components base1 and base2
- ImpliesFormula - Class in fmrisc.ProofNavigator.Syntax
-
Handling of implications
- ImpliesFormula(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.ImpliesFormula
-
construct conjunction with components base1 and base2
- Import - Interface in fmrisc.ProgramExplorer.Syntax.Program
-
Interface to an import statement.
- ImportBase - Class in fmrisc.ProgramExplorer.Syntax.Program
-
Base class of import statements.
- imports() - Method in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- imports - Variable in class fmrisc.ProgramExplorer.Syntax.Program.CompilationUnitBase
-
- incVarNumber() - Static method in class fmrisc.ProofNavigator.Syntax.ASTUtil
-
increase the current variable number for printing by one
- index - Variable in class fmrisc.ProgramExplorer.Syntax.Program.IndexSelector
-
- IndexSelector - Class in fmrisc.ProgramExplorer.Syntax.Program
-
Component selection by index.
- Induction - Class in fmrisc.ProofNavigator.Commands
-
Command "induction": induction on a univerally quantified NAT/INT variable.
- Induction(Identifier, String) - Constructor for class fmrisc.ProofNavigator.Commands.Induction
-
Create an "induction" command.
- Info(AST) - Constructor for class fmrisc.ProgramExplorer.InOut.Breaks.Info
-
Create info for the denoted tree.
- inform(String, String) - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
-
Open information dialog.
- init(TopWindow) - Static method in class fmrisc.ProgramExplorer.Main
-
Perform initialization.
- init(PackageSymbol, ErrorStream) - Method in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
Initialize type translator (which creates a base theory).
- init - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ForLoopStatement
-
- init() - Static method in class fmrisc.ProofNavigator.Main
-
Initialize the system state.
- init() - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
Initialize checking state
- init(String, String, State.ProverVersion) - Static method in class fmrisc.ProofNavigator.State
-
Initialize prover state using denoted context.
- init(String, String, State.ProverVersion, boolean, boolean) - Static method in class fmrisc.ProofNavigator.State
-
Initialize prover state using denoted context.
- inKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.LetExpression
-
- Instantiate - Class in fmrisc.ProofNavigator.Commands
-
The "instantiate" command: instantiate a quantified formula.
- Instantiate(String, Expression[]) - Constructor for class fmrisc.ProofNavigator.Commands.Instantiate
-
Create an "instantiate" command.
- instantiate(ProofState) - Static method in class fmrisc.ProofNavigator.Proving.Instantiating
-
Extend given proof state by instantiations of quantified formulas.
- instantiate(Formula) - Static method in class fmrisc.ProofNavigator.Proving.Instantiating
-
Extend proof state by instantiations of given formula
- instantiate(Formula[]) - Static method in class fmrisc.ProofNavigator.Proving.Instantiating
-
Extend proof state by instantiations of given formulas
- instantiate() - Method in class fmrisc.ProofNavigator.Semantics.TypeExpression
-
create instantiated copy of type expression
- instantiate(TypeSymbol) - Method in class fmrisc.ProofNavigator.Semantics.TypeSymbol
-
Instantiate symbol with copy of denoted symbol.
- instantiate(ValueSymbol) - Method in class fmrisc.ProofNavigator.Semantics.ValueSymbol
-
Instantiate symbol with copy of denoted symbol.
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.ApplicationExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.ArrayTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.BinaryExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.BitLogical
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in interface fmrisc.ProofNavigator.Syntax.Expression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.IfThenElseExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.LetExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.Logical
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.Number
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.PowerTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.QuantifiedExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.RecordTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.Reference
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.SelectionTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in interface fmrisc.ProofNavigator.Syntax.Selector
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.SelectorIdentifier
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.SelectorIndex
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.SelectorNumber
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.TimesTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.TupleTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.TypeDeclaration
-
create instantiated copy of declaration
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.TypeDeclIdentifier
-
returns instantiated copy of identifier
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.TypedIdentifier
-
create instantiated copy of identifier
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.UnaryExpression
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.UpdateTerm
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.ValueDeclaration
-
create instantiated copy of declaration
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.ValueDeclIdentifier
-
returns instantiated copy of identifier
- instantiate() - Method in class fmrisc.ProofNavigator.Syntax.ValuedIdentifier
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.ArrayType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.AtomicType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.FunctionType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.LetType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.RecordType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.Reference
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.SubrangeType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.SubType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in class fmrisc.ProofNavigator.Syntax.TupleType
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- instantiateType() - Method in interface fmrisc.ProofNavigator.Syntax.Type
-
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- Instantiating - Class in fmrisc.ProofNavigator.Proving
-
Extending a proof state by instantiating quantified formulas.
- Instantiating() - Constructor for class fmrisc.ProofNavigator.Proving.Instantiating
-
- INT - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
-
- INT - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- intDivName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intDivName0 - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intDivOverflowName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- internalError(String) - Static method in class fmrisc.ProgramExplorer.Main
-
Terminate program because of an internal error.
- intLiteral(String) - Static method in class fmrisc.ProgramExplorer.Judgements.ExpressionLogic
-
Construct integer literal.
- IntLiteral - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A natural number.
- IntLiteral - Class in fmrisc.ProgramExplorer.Syntax.Program
-
An integer literal.
- intMinusName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intMinusOverflowName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intNegName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intNegOverflowName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intPlusName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intPlusOverflowName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intRemName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intTimesName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intTimesOverflowName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intTruncName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- intType - Static variable in class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
-
- intType - Variable in class fmrisc.ProgramExplorer.Semantics.TypeTable
-
- IntType - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
The type of integers.
- IntType - Class in fmrisc.ProgramExplorer.Syntax.Program
-
A machine integer type
- InvalidAnswer - Class in fmrisc.ProofNavigator.Proving
-
Answer that formula is invalid.
- InvalidAnswer(String) - Constructor for class fmrisc.ProofNavigator.Proving.InvalidAnswer
-
Create answer that formula is valid with denoted justification.
- InvalidAnswerCVCL - Class in fmrisc.ProofNavigator.Proving.CVCL
-
Answer that formula is invalid.
- InvalidAnswerCVCL(CVCL, String) - Constructor for class fmrisc.ProofNavigator.Proving.CVCL.InvalidAnswerCVCL
-
Create answer that formula is valid with denoted justification.
- invariantKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Spec.ClassSpec
-
- invariantKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Spec.LoopSpec
-
- InvariantTask - Class in fmrisc.ProgramExplorer.Tasks
-
The task of proving the correctness of a loop invariant.
- InvariantTask(ParamSymbol, Statement, Formula, Formula, SourcePosition, Formula, Formula, File, StateType, Set<VariableSymbol>, Set<ClassSymbol>, Vector<TheorySymbol>, Declaration[][], ErrorStream) - Constructor for class fmrisc.ProgramExplorer.Tasks.InvariantTask
-
Construct an invariant verification task.
- isAborted() - Static method in class fmrisc.ProofNavigator.State
-
Get prover abort state.
- isAbsolute() - Method in class fmrisc.ProofNavigator.Proving.Proof
-
Is proof absolute?
- isApplicable(Task) - Method in class fmrisc.ProgramExplorer.Tasks.AllNewStrategy
-
True if this strategy is applicable to the denoted task.
- isApplicable(Task) - Method in class fmrisc.ProgramExplorer.Tasks.AutoStrategy
-
True if this strategy is applicable to the denoted task.
- isApplicable(Task) - Method in class fmrisc.ProgramExplorer.Tasks.ManualStrategy
-
True if this strategy is applicable to the denoted task.
- isApplicable(Task) - Method in interface fmrisc.ProgramExplorer.Tasks.Strategy
-
True if this strategy is applicable to the denoted task.
- isAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.BinaryTerm
-
Indicate whether operator is associative.
- isAxiom() - Method in class fmrisc.ProofNavigator.Semantics.FormulaSymbol
-
Return axiom status of formula.
- isBoolean(Type) - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
checks if type equals BOOLEAN
- isBooleanType(Type) - Static method in class fmrisc.ProgramExplorer.Semantics.LogicChecking
-
Check whether type denotes a boolean.
- isClassSource(File) - Static method in class fmrisc.ProgramExplorer.InOut.Source
-
Determine whether file is a source file for a class.
- isCloned() - Method in class fmrisc.ProofNavigator.Proving.Rewriting
-
Visitor functions.
- isCloned() - Method in class fmrisc.ProofNavigator.Proving.Substitute
-
Signal that visitor shall clone tree.
- isCloned() - Method in interface fmrisc.ProofNavigator.Syntax.ASTVisitor
-
Signal whether tree is to be cloned.
- isCloned() - Method in class fmrisc.ProofNavigator.Syntax.ASTVisitorBase
-
Signal whether tree is to be cloned.
- isClosed() - Method in class fmrisc.ProofNavigator.Proving.Proof
-
Is proof closed?
- isClosed() - Method in class fmrisc.ProofNavigator.Proving.ProofState
-
check whether proof state is closed
- isCreatedDirectory(File) - Static method in class fmrisc.ProgramExplorer.InOut.Directory
-
Returns true if dir denotes a previously created directory.
- isFinal() - Method in interface fmrisc.ProgramExplorer.Tasks.Task
-
Determine whether task status is final.
- isFinal() - Method in class fmrisc.ProgramExplorer.Tasks.TaskBase
-
Determine whether task status is final.
- isFromClass() - Method in class fmrisc.ProgramExplorer.Semantics.TheorySymbol
-
Returns true if theory is derived from class.
- isGoal() - Method in class fmrisc.ProofNavigator.Proving.Formula
-
get formula isGoal
- isHelper() - Method in class fmrisc.ProgramExplorer.Syntax.Spec.MethodSpec
-
Get helper status of a method.
- isInt(Type) - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
checks if type equals INT
- isIntegerType(Type) - Static method in class fmrisc.ProgramExplorer.Semantics.LogicChecking
-
Determine whether type is (a subtype of) the integer type.
- isLeftAssociative() - Method in interface fmrisc.ProgramExplorer.Syntax.Logic.Expression
-
True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"
- isLeftAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase
-
True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"
- isLeftAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.ImpliesFormula
-
True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"
- isModified() - Method in class fmrisc.ProgramExplorer.InOut.ClassReader
-
Indicate whether declaration has been modified.
- isModified() - Method in class fmrisc.ProgramExplorer.InOut.Source
-
Return true if text has been modified and should be retrieved.
- isModified() - Method in class fmrisc.ProgramExplorer.InOut.TheoryReader
-
Indicate whether declaration has been modified.
- isNat(Type) - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
checks if type equals NAT
- isNullName - Static variable in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
-
- isOkay() - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCL
-
true iff CVCL instance is okay
- isOkay() - Method in interface fmrisc.ProofNavigator.Proving.Prover
-
true iff prover is okay after creation
- isOptional() - Method in interface fmrisc.ProgramExplorer.Tasks.Task
-
Determine whether task is optional.
- isOptional() - Method in class fmrisc.ProgramExplorer.Tasks.TaskBase
-
Determine whether task is optional.
- isRead() - Method in class fmrisc.ProgramExplorer.Semantics.ClassSymbol
-
Returns true if class has been read, i.e.
- isRead() - Method in class fmrisc.ProgramExplorer.Semantics.TheorySymbol
-
Returns true if theory has been read, i.e.
- isReal(Type) - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
checks if type equals REAL
- isRestarted() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
-
Check whether program is to be restarted.
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.AndFormula
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.BitAndTerm
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.BitOrTerm
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in interface fmrisc.ProgramExplorer.Syntax.Logic.Expression
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.ImpliesFormula
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.OrFormula
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.PlusTerm
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRightAssociative() - Method in class fmrisc.ProgramExplorer.Syntax.Logic.TimesTerm
-
True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"
- isRunning() - Static method in class fmrisc.ProofNavigator.Main
-
Signal whether command is being processed.
- isSkeleton() - Method in class fmrisc.ProofNavigator.Proving.Proof
-
Is proof skeleton?
- isSolved() - Method in class fmrisc.ProgramExplorer.Proving.ProofNavigatorProblem
-
Determine whether problem is solved.
- isSource(File) - Static method in class fmrisc.ProgramExplorer.InOut.Source
-
Determine whether file is a source file.
- isTheorySource(File) - Static method in class fmrisc.ProgramExplorer.InOut.Source
-
Determine whether file is a source file for a class.
- isTrusted() - Method in class fmrisc.ProofNavigator.Proving.Proof
-
Is proof trusted?
- isUnsolvable() - Method in class fmrisc.ProgramExplorer.Proving.ProofNavigatorProblem
-
Determine whether problem is not solvable.