import java.util.Vector;

public class CheckedList
{
   HashDictionary Checked_list;
 
   CheckedList() {
	Checked_list = new HashDictionary(new IntegerComparator());
   }
//
//
   boolean ExistsInList (Board SuccBoard) {
	return Checked_list.find(SuccBoard) != null;
   }
//
//
   void AddToList (Board SuccBoard)
   {
       Checked_list.insert(new Integer(Checked_list.formkey(SuccBoard)), 
			   Checked_list.formelem(SuccBoard) );
   }
  
}