Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
G
L
M
P
R
L
Library
- Class in
proj3
Class Invariant:
Number of books and number of patrons are non-negative
and correctly indicate the number of books and patrons that are in the Library
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
G
L
M
P
R