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

S

SAME_PATTERN_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants

saveFile(String, String) - Static method in class com.meyling.principia.io.Utility

Saves a String in a file.

saveFile(String, StringBuffer) - Static method in class com.meyling.principia.io.Utility

Saves a String in a file.

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

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

SECOND_PROOF_LINE_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

secondSentenceLabel - Variable in class com.meyling.principia.logic.rule.ElementaryEquivalence

reference to second sentence

secundaryArgument - Variable in class com.meyling.principia.argument.ArgumentException

problem is illustrated with this secondary argument

Sentence - class com.meyling.principia.logic.paragraph.Sentence.

Logical Sentence.

SENTENCE_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants

SENTENCE_IS_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

Sentence(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Sentence

Constructs a mathematical sentence.

sentenceLabel - Variable in class com.meyling.principia.logic.rule.AddSentence

reference to sentence that should be added

sentenceLabel - Variable in class com.meyling.principia.logic.rule.ApplySentence

reference to sentence that should be applyed

sentences - Variable in class com.meyling.principia.module.Module

maps sentence labels to sentences

setArgument(Argument) - Method in class com.meyling.principia.argument.ArgumentException

Set the problematic argument.

setContent(Argument) - Method in class com.meyling.principia.argument.PatternVariable

Sets argument of pattern variable.

setInput(TextInput) - Method in class com.meyling.principia.module.ModuleContext.PeekTextInput

Set object to watch (could be null.

setLogLevel(int) - Static method in class com.meyling.principia.module.ModuleContext

Set logging level: 0 = no logging, 1 = elementary events, 2 = more events

setModuleAddress(ModuleAddress) - Method in class com.meyling.principia.module.Module

Set the URL where this module is from.

setPosition(int) - Method in class com.meyling.principia.io.TextInput

Sets the current position (and indirectly the line number).

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

Set the rule version this module could use maximal.

setUp() - Method in class com.meyling.principia.logic.basic.TestConjunction

Make some initialisations for a test.

showLinePosition() - Method in class com.meyling.principia.io.TextInput

Show reading position.

showLinePosition() - Method in class com.meyling.principia.io.Input

Show reading position.

SimpleModuleCreator - class com.meyling.principia.module.SimpleModuleCreator.

This class provides static methods for reading and writing an Argument of the module package.

SimpleModuleCreator() - Constructor for class com.meyling.principia.module.SimpleModuleCreator

skipWhiteSpace() - Method in class com.meyling.principia.io.TextInput

Skips white space, beginning from reading position.

skipWhiteSpace() - Method in class com.meyling.principia.io.Input

Skips white space, beginning from reading position.

source - Variable in class com.meyling.principia.io.TextInput

holds the data

source - Variable in class com.meyling.principia.io.Input

holds the data

Specification - class com.meyling.principia.module.Specification.

Describes a specificiation of a module, that means its name, versions and possible "physical" locations.

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

Constructs a module specification.

stopped - Variable in class com.meyling.principia.module.ModuleContext.PeekTextInput

stopPeek() - Method in class com.meyling.principia.module.ModuleContext.PeekTextInput

Call this method to stop this thread.

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

for converting a String into an (Argument) class

string2class - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator

for converting a String into an (Argument) class

string2class - Static variable in class com.meyling.principia.logic.rule.RuleCreator

for converting a String into an (Argument) class

string2class - Static variable in class com.meyling.principia.module.ModuleCreator

for converting a String into an (Argument) class

string2class - Static variable in class com.meyling.principia.module.SimpleModuleCreator

for converting a String into an (Argument) class

stripTags(String) - Static method in class com.meyling.principia.html.Module2Html

Strip html tags out of text.

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

string for a SubjectVariable

SUBJECT_VARIABLE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants

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

Subject variable, represents a subject of the universe of discourse.

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

Constructs certain subject variable.

SubjectVariable(int) - Constructor for class com.meyling.principia.logic.basic.SubjectVariable

Constructs certain subject variable.

SubjectVariableMarker - interface com.meyling.principia.logic.basic.SubjectVariableMarker.

Implementions of this marker interface are threated as subject variables.

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

Set of subject variables.

SubjectVariables() - Constructor for class com.meyling.principia.logic.basic.SubjectVariables

Construct an empty set of subject variables.

SubjectVariables(SubjectVariableMarker[]) - Constructor for class com.meyling.principia.logic.basic.SubjectVariables

Construct a new set of subject variables with some initial entries.

SubjectVariables(SubjectVariables) - Constructor for class com.meyling.principia.logic.basic.SubjectVariables

Construct a new set of subject variables with the same entires as the given one.

SUBSTITUTION_NOT_SUCCESSFULL - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

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

Implementation of substituting variables: A1 --------- A2 if A1 matches A2 (e.g.

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

Constructs an subst line rule by a proof line reference.

suite() - Static method in class com.meyling.principia.logic.basic.TestConjunction

Generete TestSuite .