/******************************************************************
 * Memorial University of Newfoundland
 * Engineering 4892 Data Structures
 *
 * $RCSfile: assign4a.h,v $   $Revision: 1.2 $
 * $Date: 2001-06-22 15:18:16-02:30 $
 * $State: Exp $ 
 *
 * Include file for Assignment 4, part 1.
 *
 ******************************************************************/

/******************************************************************
 *                     REVISION HISTORY
 *
 * $Log: assign4a.h,v $
 * Revision 1.2  2001-06-22 15:18:16-02:30  dpeters
 * Added std:: scope specifier to list.
 *
 * Revision 1.1  2001-06-20 07:44:35-02:30  dpeters
 * Initial revision
 *
 *
 ******************************************************************/

#ifndef ASSIGN4A_DEF
#define ASSIGN4A_DEF

#include <list>

enum Move { More, GiveBack };
// More: add 53 to initial
// GiveBack: divide initial by 2 (only permitted if initial is even)

bool goal(int initial, int steps, std::list<Move>& m);
// Pre: initial >= 0 /\ steps >= 0
// Post: Result -> m is a sequece of moves to get to 91 from initial 
//                 /\ |m| <= steps /\ 
//       !Result -> there is no sequence of moves to get to 91 from initial
//                 in less than steps steps


#endif