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

tearDown() - Method in class com.meyling.principia.logic.basic.TestConjunction
Free resources that were used in a test.
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
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.
TestAll - class com.meyling.principia.TestAll.
This tests Principia Mathematica II.
TestAll() - Constructor for class com.meyling.principia.TestAll
 
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(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)
testArgument(String) - Static method in class com.meyling.principia.logic.basic.PackageTest
Test a single normal test file.
testArgument(String) - Static method in class com.meyling.principia.module.PackageTest
Test a single normal test file.
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.
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() - Method in class com.meyling.principia.logic.basic.TestConjunction
Test the method AbstractArgument.equals(java.lang.Object).
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.
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).
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.
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.
Textable - interface com.meyling.principia.module.Textable.
Every thing that represent a kind of text data must implement this interface.
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.
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
 
toHtml(String) - Static method in class com.meyling.principia.html.Module2Html
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.PatternVariables
Get a string representation of this object.
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.Counter
 
toString() - Method in interface com.meyling.principia.argument.Argument
Get the argument in String form.
toString() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
 
toString() - Method in class com.meyling.principia.argument.PatternVariable
 
toString() - Method in class com.meyling.principia.argument.VariableList
 
toString() - Method in class com.meyling.principia.argument.Text
 
toString() - Method in class com.meyling.principia.argument.Enumerator
Return number in String format.
toString() - Method in class com.meyling.principia.argument.AbstractArgumentList
 
toString() - Method in class com.meyling.principia.io.ArgumentPointer
Get the argument in String form.
toString() - Method in class com.meyling.principia.logic.basic.Equivalence
 
toString() - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
 
toString() - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
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.RegularArgumentList
 
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.UniversalQuantifier
 
toString() - Method in class com.meyling.principia.logic.basic.BasicPatternVariable
 
toString() - Method in class com.meyling.principia.logic.basic.ExistentialQuantifier
 
toString() - Method in class com.meyling.principia.logic.basic.Disjunction
 
toString() - Method in class com.meyling.principia.logic.basic.Conjunction
 
toString() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
toString() - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
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.SubjectVariable
 
toString() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
toString() - Method in class com.meyling.principia.logic.rule.LinkReference
 
toString() - Method in class com.meyling.principia.logic.rule.UseAbbreviation
 
toString() - Method in class com.meyling.principia.logic.rule.Particularization
 
toString() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
 
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
 
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
 
toString() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
 
toString() - Method in class com.meyling.principia.logic.rule.RightAddition
 
toString() - Method in class com.meyling.principia.logic.rule.SubstLine
 
toString() - Method in class com.meyling.principia.logic.rule.Generalization
 
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
 
toString() - Method in class com.meyling.principia.logic.rule.ConjunctionRule
 
toString() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
 
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
 
toString() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
 
toString() - Method in class com.meyling.principia.logic.rule.ReverseImplication
 
toString() - Method in class com.meyling.principia.logic.rule.AddSentence
 
toString() - Method in class com.meyling.principia.logic.rule.AddAxiom
 
toString() - Method in class com.meyling.principia.logic.rule.ApplySentence
 
toString() - Method in class com.meyling.principia.logic.rule.ModusPonens
 
toString() - Method in class com.meyling.principia.logic.rule.ApplyAxiom
 
toString() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
 
toString() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
 
toString() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
 
toString() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
 
toString() - Method in class com.meyling.principia.logic.rule.LeftAddition
 
toString() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
 
toString() - Method in class com.meyling.principia.logic.paragraph.Paragraph
 
toString() - Method in class com.meyling.principia.logic.paragraph.LinkLabel
 
toString() - Method in class com.meyling.principia.logic.paragraph.ProofLine
 
toString() - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration
 
toString() - Method in class com.meyling.principia.logic.paragraph.Axiom
 
toString() - Method in class com.meyling.principia.logic.paragraph.Proposition
 
toString() - Method in class com.meyling.principia.logic.paragraph.ProofLineList
 
toString() - Method in class com.meyling.principia.logic.paragraph.Sentence
 
toString() - Method in class com.meyling.principia.logic.paragraph.Abbreviation
 
toString() - Method in class com.meyling.principia.module.ModuleAddress
 
toString() - Method in class com.meyling.principia.module.Author
 
toString() - Method in class com.meyling.principia.module.Email
 
toString() - Method in class com.meyling.principia.module.Module
 
toString() - Method in class com.meyling.principia.module.Description
 
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.Name
 
toString() - Method in class com.meyling.principia.module.AuthorList
 
toString() - Method in class com.meyling.principia.module.Version
 
toString() - Method in class com.meyling.principia.module.Header
 
toString() - Method in class com.meyling.principia.module.UsedbyList
 
toString() - Method in class com.meyling.principia.module.LocationList
 
toString() - Method in class com.meyling.principia.module.Import
 
toString() - Method in class com.meyling.principia.module.Headline
 
toString() - Method in class com.meyling.principia.module.Specification
 
toString() - Method in class com.meyling.principia.module.ParagraphList
 
TRUE - Static variable in class com.meyling.principia.logic.basic.PackageTest
true
TRUE - Static variable in class com.meyling.principia.module.PackageTest
true

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