Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
F
G
I
L
M
R
S
T
V
L
Literal
- Class in
model.logic
This class represents a literal as it is seen in propositional logic.
Literal(Variable, boolean)
- Constructor for class model.logic.
Literal
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
F
G
I
L
M
R
S
T
V