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

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
 
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.
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.
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.
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.
stripTags(String) - Static method in class com.meyling.principia.html.Module2Html
Strip html tags out of text.
stripTags(String) - Static method in class com.meyling.principia.latex.Module2Latex
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 .

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.