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

N

Name - Static variable in class fmrisc.ProofNavigator.Commands.Assume

Name - Static variable in class fmrisc.ProofNavigator.Commands.Auto

Name - Static variable in class fmrisc.ProofNavigator.Commands.AutoStar

Name - Static variable in class fmrisc.ProofNavigator.Commands.Case

Name - Static variable in class fmrisc.ProofNavigator.Commands.ContextC

Name - Static variable in class fmrisc.ProofNavigator.Commands.CounterExample

Name - Static variable in class fmrisc.ProofNavigator.Commands.DeclarationC

Name - Static variable in class fmrisc.ProofNavigator.Commands.Decompose

Name - Static variable in class fmrisc.ProofNavigator.Commands.Empty

Name - Static variable in class fmrisc.ProofNavigator.Commands.EnvironmentC

Name - Static variable in class fmrisc.ProofNavigator.Commands.Expand

Name - Static variable in class fmrisc.ProofNavigator.Commands.Flatten

Name - Static variable in class fmrisc.ProofNavigator.Commands.Flip

Name - Static variable in class fmrisc.ProofNavigator.Commands.FormulaC

Name - Static variable in class fmrisc.ProofNavigator.Commands.Goal

Name - Static variable in class fmrisc.ProofNavigator.Commands.Goto

Name - Static variable in class fmrisc.ProofNavigator.Commands.Induction

Name - Static variable in class fmrisc.ProofNavigator.Commands.Instantiate

Name - Static variable in class fmrisc.ProofNavigator.Commands.Lemma

Name - Static variable in class fmrisc.ProofNavigator.Commands.Next

Name - Static variable in class fmrisc.ProofNavigator.Commands.Open

Name - Static variable in class fmrisc.ProofNavigator.Commands.Option

Name - Static variable in class fmrisc.ProofNavigator.Commands.Prev

Name - Static variable in class fmrisc.ProofNavigator.Commands.ProofC

Name - Static variable in class fmrisc.ProofNavigator.Commands.Prove

Name - Static variable in class fmrisc.ProofNavigator.Commands.Proved

Name - Static variable in class fmrisc.ProofNavigator.Commands.Quit

Name - Static variable in class fmrisc.ProofNavigator.Commands.Read

Name - Static variable in class fmrisc.ProofNavigator.Commands.Redo

Name - Static variable in class fmrisc.ProofNavigator.Commands.Scatter

Name - Static variable in class fmrisc.ProofNavigator.Commands.Simplify

Name - Static variable in class fmrisc.ProofNavigator.Commands.Skolemize

Name - Static variable in class fmrisc.ProofNavigator.Commands.Split

Name - Static variable in class fmrisc.ProofNavigator.Commands.StateC

Name - Static variable in class fmrisc.ProofNavigator.Commands.TCC

Name - Static variable in class fmrisc.ProofNavigator.Commands.TypeAxiom

Name - Static variable in class fmrisc.ProofNavigator.Commands.TypeC

Name - Static variable in class fmrisc.ProofNavigator.Commands.Undo

Name - Static variable in class fmrisc.ProofNavigator.Commands.ValueC

NamespacePrefix - Static variable in class fmrisc.ProofNavigator.State

NamespaceURI - Static variable in class fmrisc.ProofNavigator.State

negate(Expression) - Static method in class fmrisc.Proving.ProofUtil

return negated version of formula where negation is drawn innermost (to atomic formulas)

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

construct negation (minus term) of base term

NegationTerm - Class in fmrisc.Syntax

Handling of negated (minus) terms

NegationTerm(Expression) - Constructor for class fmrisc.Syntax.NegationTerm

construct negation (minus term) of base term

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Assume

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Auto

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.AutoStar

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Case

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.CounterExample

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.DeclarationC

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Decompose

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Empty

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Expand

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Flatten

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Flip

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Goal

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Induction

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Instantiate

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Lemma

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Option

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Proved

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Scatter

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Simplify

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Skolemize

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.Split

Convert DOM node to command.

newCommand(Node) - Static method in class fmrisc.ProofNavigator.Commands.TypeAxiom

Convert DOM node to command.

newDeclaration(Declaration) - Static method in class fmrisc.ProofNavigator.Main

Signal new declaration.

newLine(PrettyMathML.Parent) - Method in class fmrisc.Communication.PrettyMathML

Start new (non-overflow)line and indent it appropriately.

newLine() - Method in class fmrisc.Communication.PrettyPrinter

Start new (non-overflow)line and indent it appropriately.

NewOMDOMReader - Class in fmrisc.External

An OpenMath DOM reader.

NewOMDOMReader(Document) - Constructor for class fmrisc.External.NewOMDOMReader

Constructor.

NewOMDOMReader(DocumentFragment) - Constructor for class fmrisc.External.NewOMDOMReader

Constructor.

NewOMDOMReader(Node) - Constructor for class fmrisc.External.NewOMDOMReader

Constructor.

NewOMDOMReader(InputSource) - Constructor for class fmrisc.External.NewOMDOMReader

Constructor.

NewOMDOMReader(String) - Constructor for class fmrisc.External.NewOMDOMReader

Constructor.

NewOMDOMWriter - Class in fmrisc.External

An OMDOMWriter.

NewOMDOMWriter(Document, String, String) - Constructor for class fmrisc.External.NewOMDOMWriter

Constructor.

newProof(FormulaSymbol, boolean) - Static method in class fmrisc.Proving.Proof

Construct new proof for formula denoted by symbol.

newProver(PrintWriter, int, boolean) - Static method in class fmrisc.ProofNavigator.State

get new instance of a prover

Next - Class in fmrisc.ProofNavigator.Commands

The "next" command: goto next open proof state.

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

Create a "next" command.

nextOpenState() - Method in class fmrisc.Proving.Proof

switch current state to next open state in sequence.

nextToken() - Method in class fmrisc.ProofNavigator.PNLexer

nextToken() - Method in class fmrisc.Proving.CVCL.CVCLLexer

NONEQUALITY - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

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

construct inequality with components base1 and base2

NotEqualsFormula - Class in fmrisc.Syntax

Handling of conjunctions

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

construct inequality with components base1 and base2

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

construct exclusive disjunction with components base1 and base2

NotEquivalentFormula - Class in fmrisc.Syntax

Handling of conjunctions

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

construct exclusive disjunction with components base1 and base2

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

construct negation (not formula) of base formula

NotFormula - Class in fmrisc.Syntax

Handling of negations

NotFormula(Expression) - Constructor for class fmrisc.Syntax.NotFormula

construct negation (not formula) of base formula

NULL_TREE_LOOKAHEAD - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

NUMBER - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

number(String) - Static method in class fmrisc.Syntax.Construct

construct number with denoted value.

Number - Class in fmrisc.Syntax

Handling of numbers.

Number(String) - Constructor for class fmrisc.Syntax.Number

construct number from digit representation