/*

File BackjumpWord.h

This type of word is used for a backjumping search.  Each word remembers whether it participates in the current nogood.

*/

#import "PlainWord.h"


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


@interface BackjumpWord:PlainWord
{
	BOOL	nogood;
}

- (BOOL) mustChange;
- mark;
- clear;

@end