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