Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PMII - 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
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
fillWithSubjectVariables(int)
- Method in class com.meyling.principia.logic.basic.
BasicPatternVariables
Fill contents with subject variables, starting with given number + 1.
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
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
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PMII - 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.