/*

File BackjumpState.h

This state is used for backjumping search.  The state can keep track of a single nogood.

*/

#import "PlainState.h"
#import <objc/List.h>


/* 行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行行  */


@interface BackjumpState:PlainState
{
	BOOL	nogood;
	List	* nogoodWords;
}

- (BOOL) inNogood;
- initPuzzle: (id) thePuzzle;
- free;
- mustChange: (id) word;
- isok;

@end