home *** CD-ROM | disk | FTP | other *** search
- /*
-
- 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