Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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.