< A B C D E F G H I K 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.

imports - Variable in class com.meyling.principia.module.Module

import list of this module

in - Variable in class com.meyling.principia.io.TextFileReader

file to read from

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.

inFileName - Variable in class com.meyling.principia.io.TextFileReader

file name

input - Variable in class com.meyling.principia.module.ModuleCreator

load from this source

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?

isEndSeparator(String) - Static method in class com.meyling.principia.logic.basic.PackageTest

Check if text is equal to PackageTest.END.

isEndSeparator(String) - Static method in class com.meyling.principia.module.PackageTest

Check if text is equal to PackageTest.END.

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?

isNextSeparator(String) - Static method in class com.meyling.principia.logic.basic.PackageTest

Check if text is equal to PackageTest.NEXT.

isNextSeparator(String) - Static method in class com.meyling.principia.module.PackageTest

Check if text is equal to PackageTest.NEXT.

isRelativeAddress() - Method in class com.meyling.principia.module.ModuleAddress

isResultSeparator(String) - Static method in class com.meyling.principia.logic.basic.PackageTest

Check if text is equal to PackageTest.RESULT.

isResultSeparator(String) - Static method in class com.meyling.principia.module.PackageTest

Check if text is equal to PackageTest.RESULT.

isRuleDeclared(Class) - Method in class com.meyling.principia.module.Module

Is a certain rule declared?

isSeparator(String) - Static method in class com.meyling.principia.logic.basic.PackageTest

Check if text is equal to any separator: PackageTest.NEXT, PackageTest.RESULT or PackageTest.END.

isSeparator(String) - Static method in class com.meyling.principia.module.PackageTest

Check if text is equal to any separator: PackageTest.NEXT, PackageTest.RESULT or PackageTest.END.