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

T

table - Variable in class com.meyling.principia.io.ParsingTable

table which maps an argument to its position

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.

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 - Variable in class com.meyling.principia.argument.Text

the plain text

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: ", &.

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

toString() - Method in class com.meyling.principia.argument.VariableList

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.io.ParsingTable.ArgumentWrapper

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

toString() - Method in class com.meyling.principia.logic.paragraph.ProofLineList

toString() - Method in class com.meyling.principia.logic.paragraph.Abbreviation

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

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