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

I

Implication - class com.meyling.principia.logic.basic.Implication.
Implication of formulas.
IMPLICATION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for an Implication
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.
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
 
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.
INCORRECT_LINE - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
INCORRECT_LINE - Static variable in interface com.meyling.principia.module.ModuleConstants
 
increaseNumber() - Method in class com.meyling.principia.argument.Enumerator
Increases current number.
Input - class com.meyling.principia.io.Input.
This class provides convenient methods for parsing input.
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
Input(String) - Constructor for class com.meyling.principia.io.Input
Constructor using String source.
Input(StringBuffer) - Constructor for class com.meyling.principia.io.Input
Constructor using StringBuffer source.
insert(int, Argument) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
Inserts an argument to spezified position.
INTEGER_TOO_BIG - Static variable in interface com.meyling.principia.io.IoConstants
 
IoConstants - interface com.meyling.principia.io.IoConstants.
This class provides constants of this package.
isBegin() - Method in class com.meyling.principia.argument.ArgumentException
Problem at begin of argument?
isEmpty() - Method in class com.meyling.principia.io.TextInput
Is there no data left for reading?
isEmpty() - Method in class com.meyling.principia.io.Input
Is there no data left for reading?
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.BasicSubjectVariablePatternVariable
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.BasicFormulaPatternVariable
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?

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.