< A B C D E F G H I 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..

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.

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

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

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.

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.

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.