home *** CD-ROM | disk | FTP | other *** search
- /*
-
- File BackjumpWord.m
-
- This type of word is used for a backjumping search. Each word remembers whether it participates in the current nogood.
-
- */
-
- #import <appkit/appkit.h>
-
- #import "Backjump.h"
-
-
- /* ———————————————————————————————————————————————————————————————————————————— */
-
-
- @implementation BackjumpWord:PlainWord
-
- - (BOOL) mustChange { return nogood; }
- - mark { nogood = YES; return self; }
- - clear { nogood = NO; return self; }
-
- @end