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

## T

TEST_FILE_PREFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest
  file name prefix
TEST_FILE_PREFIX - Static variable in class com.meyling.principia.module.PackageTest
  file name prefix
THIRD_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants
THIRD_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants
THIS_NO_RULE - Static variable in interface com.meyling.principia.module.ModuleConstants
TRUE - Static variable in class com.meyling.principia.logic.basic.PackageTest
  true
TRUE - Static variable in class com.meyling.principia.module.PackageTest
  true
TestConjunction - class com.meyling.principia.logic.basic.TestConjunction.
  Unit test for class Conjunction.
TestConjunction(String) - Constructor for class com.meyling.principia.logic.basic.TestConjunction
  Generates new test case.
TestConstructor() - Method in class com.meyling.principia.logic.basic.TestConjunction
  Test the Constructor.
TestEquals() - Method in class com.meyling.principia.logic.basic.TestConjunction
  Test the method `AbstractArgument.equals(java.lang.Object)`.
TestMatches() - Method in class com.meyling.principia.logic.basic.TestConjunction
  Test the method `AbstractArgument.matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables)`.
TestReplace() - Method in class com.meyling.principia.logic.basic.TestConjunction
  Test the methods `AbstractArgument.replace(com.meyling.principia.argument.Argument, com.meyling.principia.argument.Argument)`.
Text - class com.meyling.principia.argument.Text.
  An object of this class represents a text string.
Text(String) - Constructor for class com.meyling.principia.argument.Text
  Constructs a `Text`.
TextFileReader - class com.meyling.principia.io.TextFileReader.
  Wrapper for the class `FileReader`.
TextFileReader(String) - Constructor for class com.meyling.principia.io.TextFileReader
  Creates a `TextFileReader` object.
TextInput - class com.meyling.principia.io.TextInput.
  This class provides convenient methods for parsing input.
TextInput(StringBuffer, String, String) - Constructor for class com.meyling.principia.io.TextInput
  Constructor using `StringBuffer` source.
TextInput(String, String, String) - Constructor for class com.meyling.principia.io.TextInput
  Constructor using `String` source.
Textable - interface com.meyling.principia.module.Textable.
  Every thing that represent a kind of text data must implement this interface.
tearDown() - Method in class com.meyling.principia.logic.basic.TestConjunction
  Free resources that were used in a test.
test() - Static method in class com.meyling.principia.logic.basic.PackageTest
  Run all normal tests in directory `PackageTest.FILE_PATH`.
test() - Static method in class com.meyling.principia.module.PackageTest
  Run all normal tests in directory `PackageTest.FILE_PATH`.
testArgument(String) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test a single normal test file.
testArgument(Argument, StringBuffer) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Performes simple argument tests: is argument equal to itself is argument equal to argument.copy() (both directions) is argument equal to same argument created of `list` with `BasicCreator.readArgument(com.meyling.principia.io.TextInput, com.meyling.principia.io.ParsingTable)` (both directions) is argument equal to same argument created of result of `BasicCreator.writeArgument(com.meyling.principia.io.Output, com.meyling.principia.argument.Argument)` with `BasicCreator.readArgument(com.meyling.principia.io.TextInput, com.meyling.principia.io.ParsingTable)` (both directions)
testArgument(String) - Static method in class com.meyling.principia.module.PackageTest
  Test a single normal test file.
testArgument(Argument, StringBuffer) - Static method in class com.meyling.principia.module.PackageTest
  Performes simple argument tests: is argument equal to itself is argument equal to argument.copy() (both directions) is argument equal to same argument created of `list` with `ModuleCreator.readArgument()` (both directions) is argument equal to same argument created of result of `ModuleCreator.writeArgument(com.meyling.principia.io.Output, com.meyling.principia.argument.Argument)` with `ModuleCreator.readArgument()` (both directions)
testCreate(PackageTest.TestReader, int) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test creation of argument.
testCreate(PackageTest.TestReader, int) - Static method in class com.meyling.principia.module.PackageTest
  Test creation of argument.
testEquals(PackageTest.TestReader, int) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test equality of arguments.
testEquals(PackageTest.TestReader, int) - Static method in class com.meyling.principia.module.PackageTest
  Test equality of arguments.
testException() - Static method in class com.meyling.principia.logic.basic.PackageTest
  Run all exception tests in directory `PackageTest.FILE_PATH`.
testException() - Static method in class com.meyling.principia.module.PackageTest
  Run all exception tests in directory `PackageTest.FILE_PATH`.
testExceptionArgument(String) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test a single exception test file.
testExceptionArgument(String) - Static method in class com.meyling.principia.module.PackageTest
  Test a single exception test file.
testFile(String) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test this package with a file.
testFile(String) - Static method in class com.meyling.principia.module.PackageTest
  Test this package with a file.
testReplace1(PackageTest.TestReader, int) - Static method in class com.meyling.principia.logic.basic.PackageTest
  Test simple replacement of arguments.
testReplace1(PackageTest.TestReader, int) - Static method in class com.meyling.principia.module.PackageTest
  Test simple replacement of arguments.
toHtml(String) - Static method in class com.meyling.principia.html.Module2Html
  Escape certain control seqences: ", &.
toHtml(String) - Static method in class com.meyling.principia.html.Module2JHtml
  Escape certain control seqences: ", &.
toHtml(String) - Static method in class com.meyling.principia.html.Module2OldHtml
  Escape certain control seqences: ", &.
toLatex(String) - Static method in class com.meyling.principia.latex.Module2Latex
  Escape certain control seqences: ", &.
toString() - Method in class com.meyling.principia.argument.AbstractArgument
toString() - Method in class com.meyling.principia.argument.AbstractArgumentAtom
toString() - Method in class com.meyling.principia.argument.AbstractArgumentList
toString() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
toString() - Method in interface com.meyling.principia.argument.Argument
  Get the argument in `String` form.
toString() - Method in class com.meyling.principia.argument.Counter
toString() - Method in class com.meyling.principia.argument.Enumerator
  Return number in `String` format.
toString() - Method in class com.meyling.principia.argument.PatternVariable
toString() - Method in class com.meyling.principia.argument.PatternVariables
  Get a string representation of this object.
toString() - Method in class com.meyling.principia.argument.Text
toString() - Method in class com.meyling.principia.argument.VariableList
toString() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
toString() - Method in class com.meyling.principia.logic.basic.BasicPatternVariable
toString() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
toString() - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
toString() - Method in class com.meyling.principia.logic.basic.Conjunction
toString() - Method in class com.meyling.principia.logic.basic.Disjunction
toString() - Method in class com.meyling.principia.logic.basic.Equivalence
toString() - Method in class com.meyling.principia.logic.basic.ExistentialQuantifier
toString() - Method in class com.meyling.principia.logic.basic.Implication
toString() - Method in class com.meyling.principia.logic.basic.Negation
toString() - Method in class com.meyling.principia.logic.basic.PredicateVariable
toString() - Method in class com.meyling.principia.logic.basic.PropositionVariable
toString() - Method in class com.meyling.principia.logic.basic.PropositionVariables
  Get a readable string representation of this object.
toString() - Method in class com.meyling.principia.logic.basic.RegularArgumentList
toString() - Method in class com.meyling.principia.logic.basic.SubjectVariable
toString() - Method in class com.meyling.principia.logic.basic.SubjectVariables
  Get a readable string representation of this object.
toString() - Method in class com.meyling.principia.logic.basic.UniversalQuantifier
toString() - Method in class com.meyling.principia.logic.paragraph.Abbreviation
toString() - Method in class com.meyling.principia.logic.paragraph.Axiom
toString() - Method in class com.meyling.principia.logic.paragraph.LinkLabel
toString() - Method in class com.meyling.principia.logic.paragraph.Paragraph
toString() - Method in class com.meyling.principia.logic.paragraph.ProofLine
toString() - Method in class com.meyling.principia.logic.paragraph.ProofLineList
toString() - Method in class com.meyling.principia.logic.paragraph.Proposition
toString() - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration
toString() - Method in class com.meyling.principia.logic.paragraph.Sentence
toString() - Method in class com.meyling.principia.logic.rule.AddAxiom
toString() - Method in class com.meyling.principia.logic.rule.AddSentence
toString() - Method in class com.meyling.principia.logic.rule.ApplyAxiom
toString() - Method in class com.meyling.principia.logic.rule.ApplySentence
toString() - Method in class com.meyling.principia.logic.rule.ConjunctionRule
toString() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
toString() - Method in class com.meyling.principia.logic.rule.Generalization
toString() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
toString() - Method in class com.meyling.principia.logic.rule.LeftAddition
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
toString() - Method in class com.meyling.principia.logic.rule.LinkReference
toString() - Method in class com.meyling.principia.logic.rule.ModusPonens
toString() - Method in class com.meyling.principia.logic.rule.Particularization
toString() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
toString() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
toString() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
toString() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
toString() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
toString() - Method in class com.meyling.principia.logic.rule.ReverseImplication
toString() - Method in class com.meyling.principia.logic.rule.RightAddition
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
toString() - Method in class com.meyling.principia.logic.rule.SubstLine
toString() - Method in class com.meyling.principia.logic.rule.UseAbbreviation
toString() - Method in class com.meyling.principia.module.Author
toString() - Method in class com.meyling.principia.module.AuthorList
toString() - Method in class com.meyling.principia.module.Description
toString() - Method in class com.meyling.principia.module.Email
toString() - Method in class com.meyling.principia.module.Header
toString() - Method in class com.meyling.principia.module.Headline
toString() - Method in class com.meyling.principia.module.Import
toString() - Method in class com.meyling.principia.module.ImportList
toString() - Method in class com.meyling.principia.module.Location
toString() - Method in class com.meyling.principia.module.LocationList
toString() - Method in class com.meyling.principia.module.Module
toString() - Method in class com.meyling.principia.module.ModuleAddress
toString() - Method in class com.meyling.principia.module.ModuleProperties
toString() - Method in class com.meyling.principia.module.ModuleState
toString() - Method in class com.meyling.principia.module.Name
toString() - Method in class com.meyling.principia.module.ParagraphList
toString() - Method in class com.meyling.principia.module.Specification
toString() - Method in class com.meyling.principia.module.UsedbyList
toString() - Method in class com.meyling.principia.module.Version

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.