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

S

SAME_PATTERN_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants
 
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_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
 
STATE_CHECKING - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_CODE_CHECKING - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADED_AND_VERIFIED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_FROM_BUFFER - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_FROM_BUFFER_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_FROM_WEB - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_FROM_WEB_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_INTO_MEMORY - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_LOADING_INTO_MEMORY_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_CODE_UNDEFINED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_LOADED_AND_VERIFIED - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_FROM_BUFFER - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_FROM_BUFFER_FAILED - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_FROM_WEB - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_FROM_WEB_FAILED - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_INTO_MEMORY - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_LOADING_INTO_MEMORY_FAILED - Static variable in class com.meyling.principia.module.ModuleState
 
STATE_STRING_CHECKING - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADED_AND_VERIFIED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_FROM_BUFFER - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_FROM_BUFFER_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_FROM_WEB - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_FROM_WEB_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_INTO_MEMORY - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_LOADING_INTO_MEMORY_FAILED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_STRING_UNDEFINED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
STATE_UNDIFINED - Static variable in class com.meyling.principia.module.ModuleState
 
SUBJECT_VARIABLE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
SUBJECT_VARIABLE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a SubjectVariable
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
 
SUBSTITUTION_NOT_SUCCESSFULL - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
Sentence - class com.meyling.principia.logic.paragraph.Sentence.
Logical sentence.
Sentence(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Sentence
Constructs a mathematical sentence.
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
 
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.
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(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.
SubjectVariables(SubjectVariableMarker[]) - Constructor for class com.meyling.principia.logic.basic.SubjectVariables
Construct a new set of subject variables with some initial entries.
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 a subst line rule by a proof line reference.
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 StringBuffer in a file.
saveFile(File, StringBuffer) - Static method in class com.meyling.principia.io.Utility
Saves a StringBuffer in a file.
saveFile(File, String) - Static method in class com.meyling.principia.io.Utility
Saves a String in a file.
setArgument(Argument) - Method in class com.meyling.principia.argument.ArgumentException
Set the problematic argument.
setCheckedAndLoaded(Module) - Method in class com.meyling.principia.module.ModuleProperties
Set checked and loaded state and module.
setCompleteness(int) - Method in class com.meyling.principia.module.ModuleProperties
Set completeness percentage.
setContent(Argument) - Method in class com.meyling.principia.argument.PatternVariable
Sets argument of pattern variable.
setFailureState(ModuleState, Exception) - Method in class com.meyling.principia.module.ModuleProperties
Set failure module state.
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).
setProgressState(ModuleState) - Method in class com.meyling.principia.module.ModuleProperties
Set progress module state.
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.
setup(ModuleEventListener) - Static method in class com.meyling.principia.module.ModuleContext
Set listener for this context.
setup() - Static method in class com.meyling.principia.module.ModuleContext
Set dummy listener for this context.
showLinePosition() - Method in class com.meyling.principia.io.Input
Show reading position.
showLinePosition() - Method in class com.meyling.principia.io.TextInput
Show reading position.
shutdown() - Static method in class com.meyling.principia.PmiiFacade
 
skipWhiteSpace() - Method in class com.meyling.principia.io.Input
Skips white space, beginning from reading position.
skipWhiteSpace() - Method in class com.meyling.principia.io.TextInput
Skips white space, beginning from reading position.
start() - Method in class com.meyling.principia.module.ModuleContext
 
stateChanged(ModuleProperties) - Method in interface com.meyling.principia.module.ModuleEventListener
Module properties (i.e. the status) have changed.
stripTags(String) - Static method in class com.meyling.principia.html.Module2Html
Strip html tags out of text and mask certain characters.
stripTags(String) - Static method in class com.meyling.principia.html.Module2JHtml
Strip html tags out of text and mask certain characters.
stripTags(String) - Static method in class com.meyling.principia.html.Module2OldHtml
Strip html tags out of text and mask certain characters.
stripTags(String) - Static method in class com.meyling.principia.latex.Module2Latex
Strip html tags out of text.
suite() - Static method in class com.meyling.principia.logic.basic.TestConjunction
Generete TestSuite .
symbols2Unicode(String) - Static method in class com.meyling.principia.html.Module2JHtml
 

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.