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
V
Variable
- Class in
model.logic
This class represents the concept of variable as it is seen in propositional logic.
Variable(String, int)
- Constructor for class model.logic.
Variable
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