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 _ 

I

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