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

E

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

Implemention of using an elementary equivalence: a => b b => a A(a) --------- A(b)

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

Constructs an elementary equivalence rule by two sentence references and an occurence number.

Email - class com.meyling.principia.module.Email.

An email address.

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

Constructs a module description.

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

Are all of these PatternVariables not in the set?

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

Does this object have an empty intersection with another set of proposition variables?

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

Does this object have an empty intersection with another set of subject variables and pattern variables?

end - Variable in class com.meyling.principia.io.Position

position at end

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

marks end of result

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

marks end of result

Enumerator - class com.meyling.principia.argument.Enumerator.

An object of this class represents a number, that could be compared and increased.

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

Constructs an object.

Enumerator(int) - Constructor for class com.meyling.principia.argument.Enumerator

Constructs an object with a certain start number. param number start value

EOF - Static variable in class com.meyling.principia.io.TextInput

char marking end of data

EOF - Static variable in class com.meyling.principia.io.Output

char marking end of data

EOF - Static variable in class com.meyling.principia.io.Input

char marking end of data

equals(Object) - Method in class com.meyling.principia.argument.AbstractArgument

equals(Object) - Method in class com.meyling.principia.argument.AbstractArgumentAtom

equals(Object) - Method in class com.meyling.principia.argument.Counter

equals(Object) - Method in interface com.meyling.principia.argument.Argument

Is this object equal to the given one?

equals(Object) - Method in class com.meyling.principia.argument.Text

equals(Object) - Method in class com.meyling.principia.io.ArgumentPointer

Has object same ArgumentPointer.getArgument()?

equals(Object) - Method in class com.meyling.principia.io.ParsingTable.ArgumentWrapper

Has object same ParsingTable.ArgumentWrapper.getArgument()?

equals(Object) - Method in class com.meyling.principia.module.ModuleAddress

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

Is this object equal to another one?

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

Is this object equal to another one?

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

Is this object equal to another one?

equalWith(Version) - Method in class com.meyling.principia.module.Version

Check if this version is equal to another one.

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

Equivalence of formulas.

EQUIVALENCE - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for an Equivalence

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

Constructs a logical equivalence.

Equivalence(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Equivalence

Constructs a logical equivalence.

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

test input file

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

test input file

EXISTENTIAL_QUANTIFIER - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for a ExistentialQuantifier

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

Existential quantifier, logical "exists".

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

Constructs a logical existential quantifier.

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

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

expected output file name postfix

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

expected output file name postfix

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.UseAbbreviation

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.Particularization

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAddition

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in interface com.meyling.principia.logic.rule.Rule

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.SubstLine

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.Generalization

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ConjunctionRule

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReverseImplication

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.AddSentence

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.AddAxiom

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ApplySentence

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ModusPonens

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ApplyAxiom

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAddition

Return proof lines that could replace the proof line position.

extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

Return proof lines that could replace the proof line position.