Artifact a0394f9b9692c1ebcca12656a438449f3ff3d8dd:
0000: 69 6d 70 6f 72 74 20 75 74 69 6c 3b 0a 69 6d 70 import util;.imp
0010: 6f 72 74 20 67 61 6d 65 3b 0a 69 6d 70 6f 72 74 ort game;.import
0020: 20 6f 75 74 70 75 74 3b 0a 69 6d 70 6f 72 74 20 output;.import
0030: 64 72 69 76 65 72 3b 0a 69 6d 70 6f 72 74 20 73 driver;.import s
0040: 6f 6c 76 65 72 3b 0a 0a 63 6c 61 73 73 20 43 55 olver;..class CU
0050: 49 28 53 6f 6c 76 65 72 29 20 3a 20 47 61 6d 65 I(Solver) : Game
0060: 4f 62 73 65 72 76 65 72 0a 7b 0a 09 74 68 69 73 Observer.{..this
0070: 28 63 6f 6e 73 74 28 47 61 6d 65 29 20 67 29 20 (const(Game) g)
0080: 7b 0a 09 09 73 6f 6c 76 65 72 20 3d 20 6e 65 77 {...solver = new
0090: 20 53 6f 6c 76 65 72 28 67 29 3b 0a 09 7d 0a 09 Solver(g);..}..
00a0: 53 6f 6c 76 65 72 20 73 6f 6c 76 65 72 3b 0a 09 Solver solver;..
00b0: 62 6f 6f 6c 20 66 69 6e 3b 0a 09 6f 76 65 72 72 bool fin;..overr
00c0: 69 64 65 20 76 6f 69 64 20 6f 6e 5f 67 61 6d 65 ide void on_game
00d0: 5f 63 68 61 6e 67 65 64 28 63 68 61 72 20 63 2c _changed(char c,
00e0: 20 63 6f 6e 73 74 28 47 61 6d 65 29 20 67 2c 20 const(Game) g,
00f0: 62 6f 6f 6c 20 66 69 6e 69 73 68 65 64 29 0a 09 bool finished)..
0100: 7b 0a 09 09 66 69 6e 20 3d 20 66 69 6e 69 73 68 {...fin = finish
0110: 65 64 3b 0a 09 7d 0a 7d 0a 0a 76 6f 69 64 20 6d ed;..}.}..void m
0120: 61 69 6e 28 73 74 72 69 6e 67 5b 5d 20 61 72 67 ain(string[] arg
0130: 73 29 0a 7b 0a 09 44 72 69 76 65 72 20 64 20 3d s).{..Driver d =
0140: 20 6e 65 77 20 44 72 69 76 65 72 28 73 74 64 69 new Driver(stdi
0150: 6e 29 3b 0a 09 64 2e 61 64 64 4f 62 73 65 72 76 n);..d.addObserv
0160: 65 72 21 28 47 75 61 72 64 65 64 4f 75 74 70 75 er!(GuardedOutpu
0170: 74 29 28 29 3b 0a 09 61 75 74 6f 20 63 20 3d 20 t)();..auto c =
0180: 64 2e 61 64 64 4f 62 73 65 72 76 65 72 21 28 43 d.addObserver!(C
0190: 55 49 21 53 6f 6c 76 65 72 5f 31 29 28 29 3b 0a UI!Solver_1)();.
01a0: 09 77 68 69 6c 65 28 21 63 2e 66 69 6e 29 0a 09 .while(!c.fin)..
01b0: 09 64 2e 63 6f 6d 6d 61 6e 64 28 63 2e 73 6f 6c .d.command(c.sol
01c0: 76 65 72 2e 73 69 6e 67 6c 65 5f 73 74 65 70 28 ver.single_step(
01d0: 29 29 3b 0a 7d 0a ));.}.