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

## 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 `Import`s.
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?

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.