Hilbert II - JAVA-Packages - Principia Mathematica II
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
 

Hilbert II - JAVA-Packages - Principia Mathematica II
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.