< A B C D E F G H I K L M N O P Q R S T U V W

F

FAIL - Static variable in class com.meyling.principia.logic.basic.PackageTest

creation failed

FAIL - Static variable in class com.meyling.principia.module.PackageTest

creation failed

FALSE - Static variable in class com.meyling.principia.logic.basic.PackageTest

false

FALSE - Static variable in class com.meyling.principia.module.PackageTest

false

FIFTH_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FIFTH_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FILE_EXISTS_ALREADY - Static variable in interface com.meyling.principia.module.ModuleConstants

FILE_PATH - Static variable in class com.meyling.principia.logic.basic.PackageTest

path to test data

FILE_PATH - Static variable in class com.meyling.principia.module.PackageTest

path to test data

fileName - Variable in class com.meyling.principia.module.ModuleAddress

name of module including version information and postfix

fillWithSubjectVariables(int) - Method in class com.meyling.principia.logic.basic.BasicPatternVariables

Fill contents with subject variables, starting with given number + 1.

find - Variable in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

predicate variable which will be replaced

find - Variable in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

predicate variable which will be replaced

FIRST_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FIRST_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FIRST_NOT_FIRST_PART_OF_SECOND_PROOF_LINE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

FIRST_PROOF_LINE_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

firstSentenceLabel - Variable in class com.meyling.principia.logic.rule.ElementaryEquivalence

reference to first sentence

followingText - Variable in class com.meyling.principia.logic.paragraph.Paragraph

this text follows the paragraph

formula - Variable in class com.meyling.principia.logic.basic.Quantifier

the formula to qantify

formula - Variable in class com.meyling.principia.logic.basic.Negation

formula to negate

Formula - interface com.meyling.principia.logic.basic.Formula.

This interface tells us about the methods a Formula must have.

FORMULA - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

formula1 - Variable in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

first part formula

formula2 - Variable in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

second part formula

FoundException - exception com.meyling.principia.argument.FoundException.

Helps constructing a parent list.

FoundException(Argument) - Constructor for class com.meyling.principia.argument.FoundException

Constructs an argument exception, starts with an argument.

FOURTH_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FOURTH_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants

FREE_BOUND_NOT_EMPTY_INTERSECTION - Static variable in interface com.meyling.principia.module.ModuleConstants