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

A

Abbreviation - class com.meyling.principia.logic.paragraph.Abbreviation.

Abbreviation.

ABBREVIATION_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants

Abbreviation(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Abbreviation

Constructs a definition..

abbreviationLabel - Variable in class com.meyling.principia.logic.rule.UseAbbreviation

reference to an abbreviation that should be used

abbreviationLabel - Variable in class com.meyling.principia.logic.rule.ReverseAbbreviation

reference to an abbreviation that should be used

abbreviations - Variable in class com.meyling.principia.module.Module

maps abbreviation labels to abbreviations

AbstractArgument - class com.meyling.principia.argument.AbstractArgument.

Every Operator must inherit from this class.

AbstractArgument() - Constructor for class com.meyling.principia.argument.AbstractArgument

AbstractArgumentAtom - class com.meyling.principia.argument.AbstractArgumentAtom.

Every Atom must inherit from this class.

AbstractArgumentAtom() - Constructor for class com.meyling.principia.argument.AbstractArgumentAtom

AbstractArgumentList - class com.meyling.principia.argument.AbstractArgumentList.

Every Operator must inherit from this class.

AbstractArgumentList(Argument[]) - Constructor for class com.meyling.principia.argument.AbstractArgumentList

Constructs an argument list.

AbstractDynamicArgumentList - class com.meyling.principia.argument.AbstractDynamicArgumentList.

Every Operator with dynamic number of arguments must inherit from this class.

AbstractDynamicArgumentList(Argument[]) - Constructor for class com.meyling.principia.argument.AbstractDynamicArgumentList

Constructs an argument list.

AbstractFormula - class com.meyling.principia.logic.basic.AbstractFormula.

From this abstract implementation of Formula each non abstract Formula must inherit from.

AbstractFormula(Argument[]) - Constructor for class com.meyling.principia.logic.basic.AbstractFormula

Constructs an formula.

ACTUAL_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest

output file name postfix

ACTUAL_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.module.PackageTest

output file name postfix

add(Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

Adds an argument to end of dynamic list.

add(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables

Add an PatternVariable if not already there.

add(PropositionVariable) - Method in class com.meyling.principia.logic.basic.PropositionVariables

Add a proposition variable to the set.

add(SubjectVariableMarker) - Method in class com.meyling.principia.logic.basic.SubjectVariables

Add a subject variable to the set.

addAbbreviation(String, Abbreviation, Module) - Method in class com.meyling.principia.module.Module

Add abbreviation with label abbreviationLabel.

addAll(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables

Add all these PatternVariables to the set?

addAll(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables

Add all these proposition variables.

addAll(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables

Add all these subject variables.

addAndThrow(Argument) - Method in class com.meyling.principia.argument.FoundException

Constructs an argument exception, starts with an argument.

AddAxiom - class com.meyling.principia.logic.rule.AddAxiom.

Implementation of adding an Axiom: --------- A0

AddAxiom(Argument[]) - Constructor for class com.meyling.principia.logic.rule.AddAxiom

Constructs an add axiom rule by an axiom reference.

addAxiom(String, Axiom, Module) - Method in class com.meyling.principia.module.Module

Add axiom with label axiomLabel.

additional - Variable in class com.meyling.principia.logic.rule.RightAdditionEquivalence

add this formula

additional - Variable in class com.meyling.principia.logic.rule.LeftAdditionImplication

add this formula

additional - Variable in class com.meyling.principia.logic.rule.RightAddition

add this formula

additional - Variable in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

add this formula

additional - Variable in class com.meyling.principia.logic.rule.RightAdditionConjunction

add this formula

additional - Variable in class com.meyling.principia.logic.rule.LeftAdditionConjunction

add this formula

additional - Variable in class com.meyling.principia.logic.rule.RightAdditionImplication

add this formula

additional - Variable in class com.meyling.principia.logic.rule.LeftAddition

add this formula

address - Variable in class com.meyling.principia.io.ParsingException

address of problematic module

address - Variable in class com.meyling.principia.io.TextInput

address of input, for identifing address

address - Variable in class com.meyling.principia.module.ModuleAddress

address

addRuleDeclaration(String, RuleDeclaration, Module) - Method in class com.meyling.principia.module.Module

Declare a new rule.

AddSentence - class com.meyling.principia.logic.rule.AddSentence.

Implemention of adding an Sentence: --------- A0

AddSentence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.AddSentence

Constructs an add sentence rule by a sentence reference.

addSentence(String, Sentence, Module) - Method in class com.meyling.principia.module.Module

Add sentence with label sentenceLabel.

ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION - Static variable in interface com.meyling.principia.module.ModuleConstants

ALREADY_ASSIGNED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

ALREADY_CONTAINS_PATTERN_VARIABLE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

alreadyRead - Variable in class com.meyling.principia.io.TextFileReader

is there a row in the read buffer?

ApplyAxiom - class com.meyling.principia.logic.rule.ApplyAxiom.

Implementation of applying an Axiom: A1 => A2 A3 --------- A4 if A1 => A2 matches A3 => A4

ApplyAxiom(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ApplyAxiom

Constructs an apply axiom rule by a proof line reference and an axiom reference.

ApplySentence - class com.meyling.principia.logic.rule.ApplySentence.

Implementation of applying a Sentence: A1 => A2 A3 --------- A4 if A1 => A2 matches A3 => A4

ApplySentence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ApplySentence

Constructs an apply sentence rule by a proof line reference and a sentence reference.

argument - Variable in class com.meyling.principia.argument.ArgumentException

problem with this argument

argument - Variable in class com.meyling.principia.io.ArgumentPointer

argument

argument - Variable in class com.meyling.principia.io.ParsingTable.ArgumentWrapper

argument

argument - Variable in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable

assignment of pattern variable

argument - Variable in class com.meyling.principia.logic.basic.BasicPatternVariable

assignment of pattern variable

argument - Variable in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

assignment of pattern variable

argument - Variable in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

assignment of pattern variable

Argument - interface com.meyling.principia.argument.Argument.

Every Operator must implement this interface.

ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

ARGUMENT_LIST - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

argument0 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument1 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument2 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument3 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument4 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument5 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument6 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument7 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument8 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argument9 - Variable in class com.meyling.principia.logic.basic.TestConjunction

argumentBuffer - Variable in class com.meyling.principia.logic.basic.PackageTest.TestReader

buffer for argument

argumentBuffer - Variable in class com.meyling.principia.module.PackageTest.TestReader

buffer for argument

ArgumentConstants - interface com.meyling.principia.argument.ArgumentConstants.

This interface provides constants of this package.

ArgumentCreator - class com.meyling.principia.argument.ArgumentCreator.

This class provides static methods for reading and writing an Argument.

ArgumentCreator() - Constructor for class com.meyling.principia.argument.ArgumentCreator

ArgumentException - exception com.meyling.principia.argument.ArgumentException.

This is a construction (and checking) exception for arguments.

ArgumentException(int, String) - Constructor for class com.meyling.principia.argument.ArgumentException

Constructs an argument exception.

ArgumentException(int, String, Argument) - Constructor for class com.meyling.principia.argument.ArgumentException

Constructs an argument exception.

ArgumentException(int, String, Argument, Argument) - Constructor for class com.meyling.principia.argument.ArgumentException

Constructs an argument exception.

ArgumentException(int, String, Argument, boolean) - Constructor for class com.meyling.principia.argument.ArgumentException

Constructs an argument exception.

argumentLineNumber - Variable in class com.meyling.principia.logic.basic.PackageTest.TestReader

remember starting line number

argumentLineNumber - Variable in class com.meyling.principia.module.PackageTest.TestReader

remember starting line number

ArgumentPointer - class com.meyling.principia.io.ArgumentPointer.

Wrapper for Arguments.

ArgumentPointer(Argument) - Constructor for class com.meyling.principia.io.ArgumentPointer

Constructs an marker for begin and end position.

arguments - Variable in class com.meyling.principia.argument.AbstractDynamicArgumentList

here is are the arguments stored

arguments - Variable in class com.meyling.principia.argument.PatternVariable

remember constructor argument

arguments - Variable in class com.meyling.principia.argument.AbstractArgumentList

remember constructor argument

AT_LEAST_ONE_ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

Author - class com.meyling.principia.module.Author.

Describes a module author.

Author(Argument[]) - Constructor for class com.meyling.principia.module.Author

Constructs a proof line made of a formula and a rule and its arguments.

AuthorList - class com.meyling.principia.module.AuthorList.

List of module authors .

AuthorList(Argument[]) - Constructor for class com.meyling.principia.module.AuthorList

Constructs a list of module authors.

Axiom - class com.meyling.principia.logic.paragraph.Axiom.

Logical Axiom.

AXIOM_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants

AXIOM_IS_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

Axiom(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Axiom

Constructs a logical Axiom.

axiomLabel - Variable in class com.meyling.principia.logic.rule.AddAxiom

reference to axiom that should be added

axiomLabel - Variable in class com.meyling.principia.logic.rule.ApplyAxiom

reference to axiom that should be added

axioms - Variable in class com.meyling.principia.module.Module

maps axiom labels to axioms