A-Index (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

## A

ABBREVIATION_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants
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
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
ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
ARGUMENT_LIST - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
AT_LEAST_ONE_ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
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
Abbreviation - class com.meyling.principia.logic.paragraph.Abbreviation.
  Abbreviation.
Abbreviation(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Abbreviation
  Constructs an abbreviation.
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.
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.
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.
AlreadyRunningException - exception com.meyling.principia.AlreadyRunningException.
  This class reads entries from property files.
AlreadyRunningException(String) - Constructor for class com.meyling.principia.AlreadyRunningException
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.
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.
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(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Axiom
  Constructs a logical Axiom.
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 `PatternVariable`s 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(String, Axiom, Module) - Method in class com.meyling.principia.module.Module
  Add axiom with label `axiomLabel`.
addModule(ModuleProperties) - Method in interface com.meyling.principia.module.ModuleEventListener
  Add module.
addReferencedModule(Module) - Method in class com.meyling.principia.module.Module
  Add referenced module.
addRuleDeclaration(String, RuleDeclaration, Module) - Method in class com.meyling.principia.module.Module
  Declare a new rule.
addSentence(String, Sentence, Module) - Method in class com.meyling.principia.module.Module
  Add sentence with label `sentenceLabel`.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

©left GNU General Public Licence All Rights Reserved.