7 Commits

Author SHA1 Message Date
Quaternions 08e8656ecf test klondike iter 2026-05-19 09:46:11 -07:00
Quaternions 73ffef76b0 delete infinite loop test 2026-05-19 09:45:49 -07:00
Quaternions 0a34deb630 Game implies Clone + Debug for associated types 2026-05-19 08:21:21 -07:00
Quaternions bc05bbdc50 O(1) undo 2026-05-19 08:18:28 -07:00
Quaternions f9012b01c4 format 2026-05-19 08:02:23 -07:00
Quaternions e18e242eae refactor is_winnable 2026-05-19 08:02:00 -07:00
Quaternions 576489c226 Revert "temporarily remove is_winnable because it doesn't work"
This reverts commit 5a52f2ab7a.
2026-05-19 07:10:38 -07:00
7 changed files with 75 additions and 56 deletions
Generated
+2 -2
View File
@@ -11,8 +11,8 @@ checksum = "7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c"
[[package]]
name = "arrayvec"
version = "0.7.6"
source = "sparse+https://git.aleshym.co/api/packages/Quaternions/cargo/"
checksum = "813440870d646c57c222c1d713dc4e3ddcb2919c3801564d767d85d7bf2afee4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50"
[[package]]
name = "bitflags"
+1 -1
View File
@@ -9,7 +9,7 @@ authors = ["Rhys Lloyd <krakow20@gmail.com>"]
keywords = ["card", "cards", "solitaire", "klondike"]
[dependencies]
arrayvec = { version = "0.7.6", registry = "Quaternions", features = ["len_u8"], default-features = false }
arrayvec = "0.7.6"
[lints]
workspace = true
+54 -22
View File
@@ -6,10 +6,10 @@ struct ReadmeDoctests;
use core::ops::RangeBounds;
// TODO: pub struct ValidInstruction<I>(I);
pub trait Game {
type Stats;
type Config;
type Instruction;
pub trait Game: Clone + core::fmt::Debug {
type Stats: Clone + core::fmt::Debug;
type Config: Clone + core::fmt::Debug;
type Instruction: Clone + core::fmt::Debug;
fn possible_instructions(&self) -> impl Iterator<Item = Self::Instruction> + use<Self>;
fn is_instruction_valid(&self, config: &Self::Config, instruction: Self::Instruction) -> bool;
fn process_instruction(
@@ -321,21 +321,33 @@ impl<S> SessionStats<S> {
}
}
#[derive(Clone, Debug)]
pub struct Session<G: Game> {
stats: SessionStats<G::Stats>,
config: G::Config,
state: SessionState<G>,
}
#[derive(Clone, Eq, Hash, PartialEq)]
pub struct SessionState<G: Game> {
seed: G,
#[derive(Clone, Debug)]
pub struct StateSnapshot<G: Game> {
state: G,
history: Vec<G::Instruction>,
instruction: G::Instruction,
}
impl<G: Game> StateSnapshot<G> {
pub const fn state(&self) -> &G {
&self.state
}
pub const fn instruction(&self) -> &G::Instruction {
&self.instruction
}
}
#[derive(Clone, Debug)]
pub struct SessionState<G: Game> {
state: G,
history: Vec<StateSnapshot<G>>,
}
impl<G: Game + Clone> SessionState<G> {
fn new(state: G) -> Self {
Self {
seed: state.clone(),
state,
history: Vec::new(),
}
@@ -345,6 +357,7 @@ impl<G: Game> Session<G>
where
G: Clone + Eq + core::hash::Hash,
G::Stats: Clone + Default,
G::Config: Clone,
G::Instruction: Clone + Eq + core::hash::Hash,
{
pub fn new(state: G, config: G::Config) -> Self {
@@ -369,7 +382,7 @@ where
pub const fn config(&self) -> &G::Config {
&self.config
}
pub fn history(&self) -> &[G::Instruction] {
pub fn history(&self) -> &[StateSnapshot<G>] {
&self.state.history
}
pub fn undo(&mut self) {
@@ -389,12 +402,34 @@ where
pub fn is_win(&self) -> bool {
self.state.is_win()
}
pub fn is_winnable(&self) -> Option<Vec<StateSnapshot<G>>> {
let mut state_moves = std::collections::HashMap::new();
let mut state = self.clone();
while !state.is_win() {
// Continue existing iterator if it exists
let it = state_moves
.entry(state.state().clone())
.or_insert_with(|| state.state().possible_instructions());
// Run one possible move
if let Some(instruction) = it.next() {
state.process_instruction(instruction);
continue;
}
// No more moves. If we can't undo we're done
if state.history().is_empty() {
return None;
} else {
state.undo();
}
}
Some(state.state.history)
}
}
impl<G: Game> Game for SessionState<G>
where
G: Clone,
G::Stats: Default,
G::Instruction: Clone,
{
type Stats = SessionStats<G::Stats>;
type Config = G::Config;
@@ -420,19 +455,16 @@ where
) {
match instruction {
SessionInstruction::Undo => {
// replay the entire history of the game except one move
self.history.pop();
let mut inner_stats = G::Stats::default();
let mut state = self.seed.clone();
for instruction in &self.history {
state.process_instruction(&mut inner_stats, config, instruction.clone());
if let Some(snapshot) = self.history.pop() {
self.state = snapshot.state;
stats.increment_undos();
}
self.state = state;
stats.inner_stats = inner_stats;
stats.increment_undos();
}
SessionInstruction::InnerInstruction(instruction) => {
self.history.push(instruction.clone());
self.history.push(StateSnapshot {
state: self.state.clone(),
instruction: instruction.clone(),
});
self.state
.process_instruction(&mut stats.inner_stats, config, instruction);
}
+2 -2
View File
@@ -4,8 +4,8 @@ use klondike::{
KlondikePile, KlondikePileStack, KlondikeStats, SkipCards, Tableau, TableauStack,
};
// #[cfg(test)]
// mod test;
#[cfg(test)]
mod test;
use std::fmt::Display;
struct Displayed<T>(T);
+9 -27
View File
@@ -1,33 +1,15 @@
use klondike::Klondike;
use card_game::Session;
use klondike::Klondike;
#[test]
fn test_is_winnable() {
// is winnable
let is_winnable = Session::new_default(Klondike::with_seed(123)).is_winnable();
println!("is_winnable = {is_winnable:?}");
}
#[test]
fn test_klondike() {
// create game session
let game = Klondike::with_seed(123);
let mut session = Session::new_default(game);
// is winnable
let is_winnable = session.is_winnable();
println!("is_winnable = {is_winnable:?}");
// play game
while let Some(instruction) = session.possible_instructions().next() {
session.process_instruction(instruction);
let is_winnable = Session::new_default(Klondike::with_seed(124)).is_winnable();
if let Some(win_moves) = is_winnable {
// for (i, ins) in win_moves.into_iter().enumerate() {
// println!("{i} = {:?}", ins.instruction());
// }
println!("Game is winnable with {} moves", win_moves.len());
} else {
println!("Game is not winnable");
}
// did win
let is_win = session.is_win();
// print session history
for (i, instruction) in session.history().iter().enumerate() {
println!("move {i} = {instruction:?}");
}
println!("is_win = {is_win}");
}
+2 -2
View File
@@ -17,8 +17,8 @@ let mut session = Session::new_default(game);
while let Some(instruction) = session.state().get_auto_move() {
session.process_instruction(instruction);
// quit after 200 moves or win
if session.is_win() || 200 < session.stats().stats().moves() {
// quit after 1000 moves
if 1000 < session.stats().stats().moves() {
break;
}
}
+5
View File
@@ -137,6 +137,7 @@ impl From<Foundation> for KlondikePile {
}
}
#[repr(u8)]
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
pub enum SkipCards {
Skip0,
@@ -532,6 +533,10 @@ impl Iterator for KlondikeIter {
instruction
}
}
#[test]
fn test_klondike_iter() {
assert_eq!(KlondikeIter::new().count(), 721);
}
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
pub struct Klondike {