-- member functions of class BoundedBag
-- remember that arguments that are objects are put in braces
BBag gen ( int )
{BBag} add ( {BBag}, int )
{BBag} add_many ( {BBag}, int, count )
{BBag} remove ( {BBag}, int )
{BBag} remove_many ( {BBag}, int, count )
int max ( {BBag} )
count number ( {BBag}, int)
int size ( {BBag} )
boolean has ( {BBag}, int )
boolean empty ( {BBag} )
boolean full ( {BBag} )
boolean equal ( {BBag}, BBag )
-- print functions for error reporting
{} Javaprint (int)
{} Javaprint (count)
{} Javaprint (boolean)
{} print ({BBag})
-- constant, defined in alias file
int MX