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