1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
use crate::MoveComputeType;
use crate::MutBoard;
use crate::MutBoardImpl;
use crate::Termination;
use myopic_core::bitboard::BitBoard;
use myopic_core::pieces::Piece;
use myopic_core::{Side, Square};
impl MutBoardImpl {
pub fn termination_status_impl(&mut self) -> Option<Termination> {
match &self.cache.termination_status {
Some(x) => *x,
None => {
let result = self.compute_termination();
self.cache.termination_status = Some(result);
result
}
}
}
fn compute_termination(&mut self) -> Option<Termination> {
if self.half_move_clock() >= 50 || self.history.has_three_repetitions() {
return Some(Termination::Draw);
}
let active = self.active;
let active_king = self.king(active);
let passive_control = self.passive_control_impl();
let (whites, blacks) = self.sides();
let king_moves = Piece::king(active).moves(active_king, whites, blacks);
if (king_moves - passive_control).is_populated() {
None
} else if passive_control.contains(active_king) {
self.checked_termination()
} else {
self.unchecked_termination()
}
}
fn checked_termination(&mut self) -> Option<Termination> {
let constraints = self.constraints_impl(MoveComputeType::All);
let (whites, blacks) = self.sides();
let moves = |p: Piece, loc: Square| p.moves(loc, whites, blacks) & constraints.get(loc);
for &piece in qrbnp(self.active) {
let locations = self.locs(piece);
if locations.iter().any(|loc| moves(piece, loc).is_populated()) {
return None;
}
}
return Some(Termination::Loss);
}
fn unchecked_termination(&mut self) -> Option<Termination> {
let king = self.king(self.active);
let pin_rays = Piece::WQ.control(king, BitBoard::EMPTY, BitBoard::EMPTY);
let (whites, blacks) = self.sides();
let moves = |p: Piece, loc: Square| p.moves(loc, whites, blacks);
for &piece in qrbnp(self.active) {
let locations = self.locs(piece) - pin_rays;
if locations.iter().any(|loc| moves(piece, loc).is_populated()) {
return None;
}
}
let constraints = self.constraints_impl(MoveComputeType::All);
let moves2 = |p: Piece, loc: Square| p.moves(loc, whites, blacks) & constraints.get(loc);
for &piece in qrbnp(self.active) {
let locations = self.locs(piece) & pin_rays;
if locations.iter().any(|loc| moves2(piece, loc).is_populated()) {
return None;
}
}
return Some(Termination::Draw);
}
}
fn qrbnp<'a>(side: Side) -> &'a [Piece] {
match side {
Side::White => &[Piece::WQ, Piece::WR, Piece::WB, Piece::WN, Piece::WP],
Side::Black => &[Piece::BQ, Piece::BR, Piece::BB, Piece::BN, Piece::BP],
}
}
#[cfg(test)]
mod test {
use super::*;
use myopic_core::reflectable::Reflectable;
#[derive(Clone, Debug)]
struct TestCase {
board: MutBoardImpl,
expected: Option<Termination>,
}
fn test(expected: Option<Termination>, fen: &str) {
let mut board = crate::fen_position(fen).unwrap();
assert_eq!(expected, board.termination_status_impl());
assert_eq!(expected, board.reflect().termination_status_impl());
}
#[test]
fn checkmate() {
test(Some(Termination::Loss), "5R1k/pp2R2p/8/1b2r3/3p3q/8/PPB3P1/6K1 b - - 0 36")
}
#[test]
fn not_terminal() {
test(None, "r1b1qrk1/pp5p/1np2b2/3nNP2/3P2p1/1BN5/PP1BQ1P1/4RRK1 b - - 0 18");
}
#[test]
fn not_terminal2() {
test(None, "4R3/1p4rk/6p1/2p1BpP1/p1P1pP2/P7/1P6/K2Q4 b - - 0 2");
}
#[test]
fn stalemate() {
test(Some(Termination::Draw), "6k1/6p1/7p/8/1p6/p1qp4/8/3K4 w - - 0 45");
}
}