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

I

IMPLICATION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for an Implication
IMPLICATON_FIRST_ALREADY_OR_SECOND_NOT_FREE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
IMPLICATON_FIRST_NOT_FREE_OR_SECOND_ALREADY - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
INCORRECT_LINE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
INCORRECT_LINE - Static variable in interface com.meyling.principia.module.ModuleConstants
 
INPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest
input file name postfix
INPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.module.PackageTest
input file name postfix
INTEGER_TOO_BIG - Static variable in interface com.meyling.principia.io.IoConstants
 
Implication - class com.meyling.principia.logic.basic.Implication.
Implication of formulas.
Implication(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Implication
Constructs a logical implication.
Implication(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Implication
Constructs a logical implication.
Import - class com.meyling.principia.module.Import.
Describes an import of a module.
Import(Argument[]) - Constructor for class com.meyling.principia.module.Import
Constructs an import description.
ImportList - class com.meyling.principia.module.ImportList.
List of Imports.
ImportList(Argument[]) - Constructor for class com.meyling.principia.module.ImportList
Constructs a list of module imports.
Input - class com.meyling.principia.io.Input.
This class provides convenient methods for parsing input.
Input(StringBuffer) - Constructor for class com.meyling.principia.io.Input
Constructor using StringBuffer source.
Input(String) - Constructor for class com.meyling.principia.io.Input
Constructor using String source.
IoConstants - interface com.meyling.principia.io.IoConstants.
This class provides constants of this package.
increaseNumber() - Method in class com.meyling.principia.argument.Enumerator
Increases current number.
init() - Static method in class com.meyling.principia.PmiiFacade
 
init(ModuleEventListener) - Static method in class com.meyling.principia.PmiiFacade
 
init(ModuleEventListener, Log) - Static method in class com.meyling.principia.PmiiFacade
 
init(String) - Static method in class com.meyling.principia.io.DataDictionary
Set resource name for this context.
insert(int, Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
Inserts an argument to spezified position.
isBegin() - Method in class com.meyling.principia.argument.ArgumentException
Problem at begin of argument?
isCheckedAndLoaded() - Method in class com.meyling.principia.module.ModuleProperties
Get orginal URL of module.
isEmpty() - Method in class com.meyling.principia.io.Input
Is there no data left for reading?
isEmpty() - Method in class com.meyling.principia.io.TextInput
Is there no data left for reading?
isFailure() - Method in class com.meyling.principia.module.ModuleState
Is this a failure state?
isFileAddress() - Method in class com.meyling.principia.module.ModuleAddress
 
isLetterDigitString(String) - Static method in class com.meyling.principia.io.Utility
Tests if given String begins with a letter and contains only letters and digits.
isMatching(Argument) - Method in class com.meyling.principia.argument.PatternVariable
Is the argument matching the pattern variable?
isMatching(Argument) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
Is the argument matching the pattern variable?
isMatching(Argument) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
Is the argument matching the pattern variable?
isMatching(Argument) - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
Is the argument matching the pattern variable?
isRelativeAddress() - Method in class com.meyling.principia.module.ModuleAddress
Was this module address created relativly?
isRuleDeclared(Class) - Method in class com.meyling.principia.module.Module
Is a certain rule declared?

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.