Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
<
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
O
occurance
- Variable in class com.meyling.principia.logic.rule.
UseAbbreviation
occurence of definition
occurance
- Variable in class com.meyling.principia.logic.rule.
RenameBoundSubjectVariable
occurance to replace
occurance
- Variable in class com.meyling.principia.logic.rule.
ReverseAbbreviation
occurence of definition
occurrence
- Variable in class com.meyling.principia.logic.rule.
ElementaryEquivalence
modify this occurence
ONLY_LOWER_CASE_CHARS
- Static variable in interface com.meyling.principia.module.
ModuleConstants
OPERATOR_NOT_SUPPORTED
- Static variable in interface com.meyling.principia.logic.rule.
RuleConstants
OPERATOR_WITH_AT_LEAST_TWO_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_FIVE_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_FOUR_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_NO_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_ONE_ARGUMENT
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS
- Static variable in interface com.meyling.principia.module.
ModuleConstants
OPERATOR_WITH_THREE_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_TWO_ARGUMENTS
- Static variable in interface com.meyling.principia.argument.
ArgumentConstants
OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS
- Static variable in interface com.meyling.principia.module.
ModuleConstants
OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS
- Static variable in interface com.meyling.principia.module.
ModuleConstants
out
- Static variable in class com.meyling.principia.logic.basic.
PackageTest
output stream
out
- Static variable in class com.meyling.principia.module.
PackageTest
output stream
Output
- class com.meyling.principia.io.
Output
.
Output wrapping.
Output(StringBuffer)
- Constructor for class com.meyling.principia.io.
Output
Constructs a new output object, based on a
StringBuffer
.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
<
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W