Compare commits
25 Commits
1d96eec147
..
master
| Author | SHA1 | Date | |
|---|---|---|---|
| 6f42e7d2bb | |||
| a8106ad0b5 | |||
| fb01881f62 | |||
| dba77e7c74 | |||
| d67645854a | |||
| ccfcfd6ad3 | |||
| 156bc8f9b2 | |||
| f2f9085aaf | |||
| 0e2284e913 | |||
| 90e1a03962 | |||
| 44b5aa02b8 | |||
| ef0936bee9 | |||
| baab7cd220 | |||
| f4c4e350eb | |||
| fa098f0d86 | |||
| 9a4f7e603a | |||
| e43041711a | |||
| b8b8dfd95a | |||
| e3870112cf | |||
| 9f6514367d | |||
| 1de633adb3 | |||
| 50cf2f3750 | |||
| 0f12e8dbd2 | |||
| 31e7cdbc6f | |||
| 64a94c6072 |
Generated
+147
-2
@@ -14,6 +14,12 @@ version = "0.7.6"
|
||||
source = "sparse+https://git.aleshym.co/api/packages/Quaternions/cargo/"
|
||||
checksum = "813440870d646c57c222c1d713dc4e3ddcb2919c3801564d767d85d7bf2afee4"
|
||||
|
||||
[[package]]
|
||||
name = "autocfg"
|
||||
version = "1.5.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
|
||||
|
||||
[[package]]
|
||||
name = "bitflags"
|
||||
version = "2.11.1"
|
||||
@@ -22,9 +28,11 @@ checksum = "c4512299f36f043ab09a583e57bceb5a5aab7a73db1805848e8fef3c9e8c78b3"
|
||||
|
||||
[[package]]
|
||||
name = "card_game"
|
||||
version = "0.2.0"
|
||||
version = "0.4.1"
|
||||
dependencies = [
|
||||
"arrayvec",
|
||||
"serde",
|
||||
"serde_derive",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
@@ -44,6 +52,17 @@ dependencies = [
|
||||
"rand_core",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "console"
|
||||
version = "0.16.3"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "d64e8af5551369d19cf50138de61f1c42074ab970f74e99be916646777f8fc87"
|
||||
dependencies = [
|
||||
"encode_unicode",
|
||||
"libc",
|
||||
"windows-sys",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "cpufeatures"
|
||||
version = "0.3.0"
|
||||
@@ -53,12 +72,34 @@ dependencies = [
|
||||
"libc",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "encode_unicode"
|
||||
version = "1.0.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "34aa73646ffb006b8f5147f3dc182bd4bcb190227ce861fc4a4844bf8e3cb2c0"
|
||||
|
||||
[[package]]
|
||||
name = "equivalent"
|
||||
version = "1.0.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
|
||||
|
||||
[[package]]
|
||||
name = "errno"
|
||||
version = "0.3.14"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
|
||||
dependencies = [
|
||||
"libc",
|
||||
"windows-sys",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "fastrand"
|
||||
version = "2.4.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "9f1f227452a390804cdb637b74a86990f2a7d7ba4b7d5693aac9b4dd6defd8d6"
|
||||
|
||||
[[package]]
|
||||
name = "foldhash"
|
||||
version = "0.1.5"
|
||||
@@ -118,6 +159,18 @@ dependencies = [
|
||||
"serde_core",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "insta"
|
||||
version = "1.47.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "7b4a6248eb93a4401ed2f37dfe8ea592d3cf05b7cf4f8efa867b6895af7e094e"
|
||||
dependencies = [
|
||||
"console",
|
||||
"once_cell",
|
||||
"similar",
|
||||
"tempfile",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "itoa"
|
||||
version = "1.0.18"
|
||||
@@ -126,10 +179,15 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
|
||||
|
||||
[[package]]
|
||||
name = "klondike"
|
||||
version = "0.1.0"
|
||||
version = "0.4.0"
|
||||
dependencies = [
|
||||
"card_game",
|
||||
"insta",
|
||||
"rand",
|
||||
"rmp-serde",
|
||||
"serde",
|
||||
"serde_derive",
|
||||
"serde_json",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
@@ -162,6 +220,12 @@ version = "0.2.186"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
|
||||
|
||||
[[package]]
|
||||
name = "linux-raw-sys"
|
||||
version = "0.12.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
|
||||
|
||||
[[package]]
|
||||
name = "log"
|
||||
version = "0.4.29"
|
||||
@@ -174,6 +238,21 @@ version = "2.8.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
|
||||
|
||||
[[package]]
|
||||
name = "num-traits"
|
||||
version = "0.2.19"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
|
||||
dependencies = [
|
||||
"autocfg",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "once_cell"
|
||||
version = "1.21.4"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
|
||||
|
||||
[[package]]
|
||||
name = "prettyplease"
|
||||
version = "0.2.37"
|
||||
@@ -225,6 +304,38 @@ version = "0.10.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
|
||||
|
||||
[[package]]
|
||||
name = "rmp"
|
||||
version = "0.8.15"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "4ba8be72d372b2c9b35542551678538b562e7cf86c3315773cae48dfbfe7790c"
|
||||
dependencies = [
|
||||
"num-traits",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "rmp-serde"
|
||||
version = "1.3.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "72f81bee8c8ef9b577d1681a70ebbc962c232461e397b22c208c43c04b67a155"
|
||||
dependencies = [
|
||||
"rmp",
|
||||
"serde",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "rustix"
|
||||
version = "1.1.4"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190"
|
||||
dependencies = [
|
||||
"bitflags",
|
||||
"errno",
|
||||
"libc",
|
||||
"linux-raw-sys",
|
||||
"windows-sys",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "semver"
|
||||
version = "1.0.28"
|
||||
@@ -273,6 +384,12 @@ dependencies = [
|
||||
"zmij",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "similar"
|
||||
version = "2.7.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "bbbb5d9659141646ae647b42fe094daf6c6192d1620870b449d9557f748b2daa"
|
||||
|
||||
[[package]]
|
||||
name = "syn"
|
||||
version = "2.0.117"
|
||||
@@ -284,6 +401,19 @@ dependencies = [
|
||||
"unicode-ident",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "tempfile"
|
||||
version = "3.27.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"
|
||||
dependencies = [
|
||||
"fastrand",
|
||||
"getrandom",
|
||||
"once_cell",
|
||||
"rustix",
|
||||
"windows-sys",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "unicode-ident"
|
||||
version = "1.0.24"
|
||||
@@ -348,6 +478,21 @@ dependencies = [
|
||||
"semver",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "windows-link"
|
||||
version = "0.2.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
|
||||
|
||||
[[package]]
|
||||
name = "windows-sys"
|
||||
version = "0.61.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
|
||||
dependencies = [
|
||||
"windows-link",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "wit-bindgen"
|
||||
version = "0.51.0"
|
||||
|
||||
+2
-2
@@ -8,8 +8,8 @@ members = [
|
||||
resolver = "3"
|
||||
|
||||
[workspace.dependencies]
|
||||
card_game = { version = "0.2.0", path = "card_game", registry = "Quaternions" }
|
||||
klondike = { version = "0.1.0", path = "klondike", registry = "Quaternions" }
|
||||
card_game = { version = "0.4.1", path = "card_game", registry = "Quaternions" }
|
||||
klondike = { version = "0.4.0", path = "klondike", registry = "Quaternions" }
|
||||
|
||||
[workspace.lints.rust]
|
||||
# unsafe_code = "forbid"
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
[package]
|
||||
name = "card_game"
|
||||
version = "0.2.0"
|
||||
version = "0.4.1"
|
||||
edition = "2024"
|
||||
repository = "https://git.aleshym.co/Quaternions/card_game"
|
||||
license = "MIT OR Apache-2.0"
|
||||
@@ -10,6 +10,12 @@ keywords = ["card", "cards", "solitaire", "klondike"]
|
||||
|
||||
[dependencies]
|
||||
arrayvec = { version = "0.7.6", registry = "Quaternions", features = ["len_u8"], default-features = false }
|
||||
serde = { version = "1.0.228", default-features = false, optional = true }
|
||||
serde_derive = { version = "1.0.228", default-features = false, optional = true }
|
||||
|
||||
[lints]
|
||||
workspace = true
|
||||
|
||||
[features]
|
||||
default = ["serde"]
|
||||
serde = ["dep:serde", "dep:serde_derive"]
|
||||
|
||||
+286
-27
@@ -6,11 +6,11 @@ struct ReadmeDoctests;
|
||||
use core::ops::RangeBounds;
|
||||
|
||||
// TODO: pub struct ValidInstruction<I>(I);
|
||||
pub trait Game {
|
||||
type Score;
|
||||
type Stats;
|
||||
type Config;
|
||||
type Instruction;
|
||||
pub trait Game: Clone {
|
||||
type Score: Clone + core::fmt::Debug;
|
||||
type Stats: Clone + core::fmt::Debug;
|
||||
type Config: Clone + core::fmt::Debug;
|
||||
type Instruction: Clone + core::fmt::Debug;
|
||||
fn score(&self, stats: &Self::Stats, config: &Self::Config) -> Self::Score;
|
||||
fn possible_instructions(
|
||||
&self,
|
||||
@@ -146,6 +146,11 @@ impl Rank {
|
||||
/// 2 bits for suit ID
|
||||
/// 4 bits for card Value
|
||||
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize),
|
||||
serde(transparent)
|
||||
)]
|
||||
pub struct Card(core::num::NonZeroU8);
|
||||
impl Card {
|
||||
pub const fn new(deck: Deck, suit: Suit, rank: Rank) -> Self {
|
||||
@@ -230,8 +235,54 @@ impl<const CAP: usize> IntoIterator for Stack<CAP> {
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(feature = "serde")]
|
||||
impl<'de, const CAP: usize> serde::Deserialize<'de> for Stack<CAP> {
|
||||
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
|
||||
where
|
||||
D: serde::Deserializer<'de>,
|
||||
{
|
||||
struct StackVisitor<const CAP: usize>;
|
||||
impl<'de, const CAP: usize> serde::de::Visitor<'de> for StackVisitor<CAP> {
|
||||
type Value = Stack<CAP>;
|
||||
fn expecting(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
|
||||
write!(f, "Card Stack")
|
||||
}
|
||||
fn visit_seq<A>(self, mut seq: A) -> Result<Self::Value, A::Error>
|
||||
where
|
||||
A: serde::de::SeqAccess<'de>,
|
||||
{
|
||||
use serde::de::Error;
|
||||
let mut stack = Stack::new();
|
||||
while let Some(card) = seq.next_element()? {
|
||||
stack.try_push(card).map_err(A::Error::custom)?;
|
||||
}
|
||||
Ok(stack)
|
||||
}
|
||||
}
|
||||
deserializer.deserialize_seq(StackVisitor)
|
||||
}
|
||||
}
|
||||
#[cfg(feature = "serde")]
|
||||
impl<const CAP: usize> serde::Serialize for Stack<CAP> {
|
||||
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
||||
where
|
||||
S: serde::Serializer,
|
||||
{
|
||||
use serde::ser::SerializeSeq;
|
||||
let mut seq = serializer.serialize_seq(Some(self.len()))?;
|
||||
for card in self.as_slice() {
|
||||
seq.serialize_element(card)?;
|
||||
}
|
||||
seq.end()
|
||||
}
|
||||
}
|
||||
|
||||
/// A pile is a stack of face down cards and a stack of face up cards.
|
||||
#[derive(Clone, Debug, Default, Eq, Hash, PartialEq)]
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
pub struct Pile<const DN: usize, const UP: usize> {
|
||||
face_down: Stack<DN>,
|
||||
face_up: Stack<UP>,
|
||||
@@ -312,6 +363,59 @@ impl<const CAP: usize> Pile<CAP, CAP> {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug)]
|
||||
pub enum SolveError {
|
||||
MovesBudgetExceeded,
|
||||
StatesBudgetExceeded,
|
||||
}
|
||||
impl core::fmt::Display for SolveError {
|
||||
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
|
||||
write!(f, "{self:?}")
|
||||
}
|
||||
}
|
||||
impl core::error::Error for SolveError {}
|
||||
|
||||
/// The solution tends to be very large with long chains of moves that go back to the same state.
|
||||
/// It is recommended to call .clean_solution() if the solution is actually going to be shown to a user.
|
||||
pub struct Solution<G: Game> {
|
||||
solution: Vec<StateSnapshot<G>>,
|
||||
}
|
||||
impl<G: Game + Eq + core::hash::Hash> Solution<G> {
|
||||
pub const fn raw_solution(&self) -> &[StateSnapshot<G>] {
|
||||
self.solution.as_slice()
|
||||
}
|
||||
/// Repeatedly remove the largest range of moves that goes back into the same state.
|
||||
/// This is a very expensive operation when the solution is very long!
|
||||
pub fn clean_solution(self) -> Vec<StateSnapshot<G>> {
|
||||
let mut history = self.solution;
|
||||
// history includes cycles
|
||||
let mut state_index: std::collections::HashMap<_, _> = history
|
||||
.iter()
|
||||
.enumerate()
|
||||
.map(|(i, snapshot)| (snapshot.state().clone(), i))
|
||||
.collect();
|
||||
|
||||
// find the longest range where the start and end are the same state
|
||||
while let Some(longest_range) = history
|
||||
.iter()
|
||||
.enumerate()
|
||||
.filter_map(|(index, snapshot)| {
|
||||
let &last_index = state_index.get(snapshot.state())?;
|
||||
let longness = last_index - index;
|
||||
(longness != 0).then_some(index..last_index)
|
||||
})
|
||||
.max_by_key(|range| range.len())
|
||||
{
|
||||
history.drain(longest_range);
|
||||
for (i, snapshot) in history.iter().enumerate() {
|
||||
state_index.insert(snapshot.state().clone(), i);
|
||||
}
|
||||
}
|
||||
|
||||
history
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug)]
|
||||
pub enum SessionInstruction<I> {
|
||||
Undo,
|
||||
@@ -319,6 +423,10 @@ pub enum SessionInstruction<I> {
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug, Default)]
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
pub struct SessionStats<S> {
|
||||
inner: S,
|
||||
undos: u32,
|
||||
@@ -335,15 +443,23 @@ impl<S> SessionStats<S> {
|
||||
}
|
||||
}
|
||||
#[derive(Clone, Debug)]
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
pub struct SessionConfig<C> {
|
||||
pub inner: C,
|
||||
pub undo_penalty: i32,
|
||||
pub solve_moves_budget: u64,
|
||||
pub solve_states_budget: u64,
|
||||
}
|
||||
impl<C> SessionConfig<C> {
|
||||
fn new_default(inner: C) -> Self {
|
||||
Self {
|
||||
inner,
|
||||
undo_penalty: -15,
|
||||
solve_moves_budget: 100_000,
|
||||
solve_states_budget: 100_000,
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -353,21 +469,37 @@ impl<C: Default> Default for SessionConfig<C> {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug)]
|
||||
pub struct Session<G: Game> {
|
||||
stats: SessionStats<G::Stats>,
|
||||
config: SessionConfig<G::Config>,
|
||||
state: SessionState<G>,
|
||||
}
|
||||
#[derive(Clone, Eq, Hash, PartialEq)]
|
||||
pub struct SessionState<G: Game> {
|
||||
seed: G,
|
||||
#[derive(Clone, Debug)]
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
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(),
|
||||
}
|
||||
@@ -380,9 +512,9 @@ impl<G: Game> SessionState<G> {
|
||||
}
|
||||
impl<G: Game<Score = i32>> Session<G>
|
||||
where
|
||||
G: Clone + Eq + core::hash::Hash,
|
||||
G::Stats: Clone + Default,
|
||||
G::Instruction: Clone + Eq + core::hash::Hash,
|
||||
G: Eq + core::hash::Hash,
|
||||
G::Stats: Default,
|
||||
G::Instruction: Eq + core::hash::Hash,
|
||||
{
|
||||
pub fn new(state: G, config: SessionConfig<G::Config>) -> Self {
|
||||
Self {
|
||||
@@ -406,7 +538,7 @@ where
|
||||
pub const fn config(&self) -> &SessionConfig<G::Config> {
|
||||
&self.config
|
||||
}
|
||||
pub fn history(&self) -> &[G::Instruction] {
|
||||
pub fn history(&self) -> &[StateSnapshot<G>] {
|
||||
&self.state.history
|
||||
}
|
||||
pub fn undo(&mut self) {
|
||||
@@ -426,14 +558,52 @@ where
|
||||
pub fn is_win(&self) -> bool {
|
||||
self.state.is_win()
|
||||
}
|
||||
/// Attempt to produce a solution.
|
||||
pub fn solve(&self) -> Result<Option<Solution<G>>, SolveError> {
|
||||
let mut state_moves = std::collections::HashMap::new();
|
||||
let mut session = self.clone();
|
||||
let mut moves = 0;
|
||||
while !session.is_win() {
|
||||
moves += 1;
|
||||
if self.config.solve_moves_budget < moves {
|
||||
return Err(SolveError::MovesBudgetExceeded);
|
||||
}
|
||||
if self.config.solve_states_budget < state_moves.len() as u64 {
|
||||
return Err(SolveError::StatesBudgetExceeded);
|
||||
}
|
||||
// Continue existing iterator if it exists
|
||||
let it = state_moves
|
||||
.entry(session.state().state().clone())
|
||||
.or_insert_with(|| {
|
||||
session
|
||||
.state()
|
||||
.state()
|
||||
.possible_instructions(&self.config().inner)
|
||||
});
|
||||
|
||||
// Run one possible move
|
||||
if let Some(instruction) = it.next() {
|
||||
session.process_instruction(instruction);
|
||||
continue;
|
||||
}
|
||||
|
||||
// No more moves. If we can't undo we're done
|
||||
if session.history().is_empty() {
|
||||
return Ok(None);
|
||||
} else {
|
||||
session.undo();
|
||||
}
|
||||
}
|
||||
Ok(Some(Solution {
|
||||
solution: session.state.history,
|
||||
}))
|
||||
}
|
||||
}
|
||||
impl<G: Game<Score = i32>> Game for SessionState<G>
|
||||
where
|
||||
G: Clone,
|
||||
G::Stats: Default,
|
||||
G::Instruction: Clone,
|
||||
{
|
||||
type Score = i32;
|
||||
type Score = G::Score;
|
||||
type Stats = SessionStats<G::Stats>;
|
||||
type Config = SessionConfig<G::Config>;
|
||||
type Instruction = SessionInstruction<G::Instruction>;
|
||||
@@ -464,19 +634,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.inner, instruction.clone());
|
||||
if let Some(snapshot) = self.history.pop() {
|
||||
self.state = snapshot.state;
|
||||
stats.increment_undos();
|
||||
}
|
||||
self.state = state;
|
||||
stats.inner = 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, &config.inner, instruction);
|
||||
}
|
||||
@@ -486,3 +653,95 @@ where
|
||||
self.state.is_win()
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(feature = "serde")]
|
||||
impl<'de, G: Game<Score = i32>> serde::de::Deserialize<'de> for Session<G>
|
||||
where
|
||||
G: serde::Deserialize<'de> + Clone + Eq + core::hash::Hash,
|
||||
G::Stats: Default,
|
||||
G::Instruction: serde::Deserialize<'de> + Eq + core::hash::Hash,
|
||||
SessionConfig<G::Config>: serde::Deserialize<'de>,
|
||||
Vec<G::Instruction>: serde::Deserialize<'de>,
|
||||
{
|
||||
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
|
||||
where
|
||||
D: serde::Deserializer<'de>,
|
||||
{
|
||||
#[derive(serde_derive::Deserialize)]
|
||||
#[serde(bound(deserialize = "
|
||||
G: serde::Deserialize<'de>,
|
||||
SessionConfig<G::Config>: serde::Deserialize<'de>,
|
||||
Vec<G::Instruction>: serde::Deserialize<'de>,
|
||||
"))]
|
||||
struct SerializedSession<G: Game> {
|
||||
config: SessionConfig<G::Config>,
|
||||
initial_state: G,
|
||||
instructions: Vec<G::Instruction>,
|
||||
}
|
||||
let serialized = SerializedSession::deserialize(deserializer)?;
|
||||
let mut session = Session::new(serialized.initial_state, serialized.config);
|
||||
for instruction in serialized.instructions {
|
||||
session.process_instruction(instruction);
|
||||
}
|
||||
Ok(session)
|
||||
}
|
||||
}
|
||||
#[cfg(feature = "serde")]
|
||||
impl<G: Game> serde::Serialize for Session<G>
|
||||
where
|
||||
G: serde::Serialize,
|
||||
G::Config: serde::Serialize,
|
||||
G::Instruction: serde::Serialize,
|
||||
{
|
||||
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
||||
where
|
||||
S: serde::Serializer,
|
||||
{
|
||||
struct History<'a, G: Game>(&'a [StateSnapshot<G>]);
|
||||
impl<G: Game> serde::Serialize for History<'_, G>
|
||||
where
|
||||
G: serde::Serialize,
|
||||
G::Instruction: serde::Serialize,
|
||||
{
|
||||
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
||||
where
|
||||
S: serde::Serializer,
|
||||
{
|
||||
let &History(history) = self;
|
||||
use serde::ser::SerializeSeq;
|
||||
let mut seq = serializer.serialize_seq(Some(history.len()))?;
|
||||
for snapshot in history {
|
||||
seq.serialize_element(&snapshot.instruction)?;
|
||||
}
|
||||
seq.end()
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(serde_derive::Serialize)]
|
||||
#[serde(bound(serialize = "
|
||||
G: serde::Serialize,
|
||||
SessionConfig<G::Config>: serde::Serialize,
|
||||
G::Instruction: serde::Serialize,
|
||||
"))]
|
||||
struct SerializedSession<'a, G: Game> {
|
||||
config: &'a SessionConfig<G::Config>,
|
||||
initial_state: &'a G,
|
||||
instructions: History<'a, G>,
|
||||
}
|
||||
|
||||
// serialize the initial state of the game.
|
||||
// if there is history, it is the first snapshot's state,
|
||||
// otherwise it is the current game state since there are no moves.
|
||||
let initial_state = if let Some(snapshot) = self.state.history.first() {
|
||||
snapshot.state()
|
||||
} else {
|
||||
&self.state.state
|
||||
};
|
||||
let session = SerializedSession {
|
||||
config: &self.config,
|
||||
initial_state,
|
||||
instructions: History(&self.state.history),
|
||||
};
|
||||
session.serialize(serializer)
|
||||
}
|
||||
}
|
||||
|
||||
@@ -4,9 +4,6 @@ use klondike::{
|
||||
KlondikePile, KlondikePileStack, SkipCards, Tableau, TableauStack,
|
||||
};
|
||||
|
||||
// #[cfg(test)]
|
||||
// mod test;
|
||||
|
||||
use std::fmt::Display;
|
||||
struct Displayed<T>(T);
|
||||
|
||||
@@ -117,7 +114,7 @@ impl Display for DisplayStats<'_> {
|
||||
self.0.stats().stats().recycle_count(),
|
||||
self.0.stats().stats().moves(),
|
||||
self.0.stats().undos(),
|
||||
self.0.state().score(self.0.stats(), &self.0.config()),
|
||||
self.0.state().score(self.0.stats(), self.0.config()),
|
||||
)
|
||||
}
|
||||
}
|
||||
@@ -239,7 +236,7 @@ fn main() -> Result<(), std::io::Error> {
|
||||
use rand::RngExt;
|
||||
let mut rng = rand::rng();
|
||||
// seed from cli argument
|
||||
let mut seed = if let Some(seed) = std::env::args().skip(1).next() {
|
||||
let mut seed = if let Some(seed) = std::env::args().nth(1) {
|
||||
seed.parse().expect("Invalid u64 seed")
|
||||
} else {
|
||||
rng.random()
|
||||
|
||||
@@ -1,33 +0,0 @@
|
||||
use klondike::Klondike;
|
||||
use card_game::Session;
|
||||
#[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);
|
||||
}
|
||||
|
||||
// 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}");
|
||||
}
|
||||
+13
-1
@@ -1,11 +1,23 @@
|
||||
[package]
|
||||
name = "klondike"
|
||||
version = "0.1.0"
|
||||
version = "0.4.0"
|
||||
edition = "2024"
|
||||
|
||||
[dependencies]
|
||||
card_game.workspace = true
|
||||
rand = { version = "0.10.1", default-features = false, features = ["std_rng"] }
|
||||
serde = { version = "1.0.228", default-features = false, optional = true }
|
||||
serde_derive = { version = "1.0.228", default-features = false, optional = true }
|
||||
|
||||
[dev-dependencies]
|
||||
insta = "1.47.2"
|
||||
rmp-serde = "1.3.1"
|
||||
serde = { version = "1.0.228", default-features = false }
|
||||
serde_json = "1.0.149"
|
||||
|
||||
[lints]
|
||||
workspace = true
|
||||
|
||||
[features]
|
||||
default = ["serde"]
|
||||
serde = ["dep:serde", "dep:serde_derive", "card_game/serde"]
|
||||
|
||||
+1
-1
@@ -15,7 +15,7 @@ let config = KlondikeConfig::default();
|
||||
let mut session = Session::new_default(game);
|
||||
|
||||
// play game a bit
|
||||
while let Some(instruction) = session.state().get_auto_move(&config) {
|
||||
while let Some(instruction) = session.state().state().get_auto_move(&config) {
|
||||
session.process_instruction(instruction);
|
||||
|
||||
// quit after 200 moves or win
|
||||
|
||||
+177
-35
@@ -2,11 +2,18 @@ pub type Rng = rand::rngs::StdRng;
|
||||
|
||||
use card_game::{Card, Game, Pile, Rank, Stack};
|
||||
|
||||
#[cfg(test)]
|
||||
mod test;
|
||||
|
||||
// test readme
|
||||
#[doc = include_str!("../README.md")]
|
||||
#[cfg(doctest)]
|
||||
struct ReadmeDoctests;
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
#[derive(Clone, Copy, Debug, Default, Eq, PartialEq)]
|
||||
pub enum DrawStockConfig {
|
||||
#[default]
|
||||
@@ -14,6 +21,10 @@ pub enum DrawStockConfig {
|
||||
DrawThree = 3,
|
||||
}
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
#[derive(Clone, Copy, Debug, Default, Eq, PartialEq)]
|
||||
pub enum MoveFromFoundationConfig {
|
||||
#[default]
|
||||
@@ -21,6 +32,10 @@ pub enum MoveFromFoundationConfig {
|
||||
Disallowed,
|
||||
}
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
#[derive(Clone, Copy, Debug)]
|
||||
pub struct ScoringConfig {
|
||||
pub move_to_foundation: i32,
|
||||
@@ -44,6 +59,10 @@ impl Default for ScoringConfig {
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
#[derive(Clone, Debug, Default)]
|
||||
pub struct KlondikeConfig {
|
||||
pub draw_stock: DrawStockConfig,
|
||||
@@ -78,12 +97,24 @@ impl KlondikeStats {
|
||||
+ self.move_from_foundation_count as i32 * config.move_from_foundation
|
||||
+ self.recycle_count as i32 * config.recycle
|
||||
}
|
||||
pub const fn recycle_count(&self) -> u32 {
|
||||
self.recycle_count
|
||||
}
|
||||
pub const fn moves(&self) -> u32 {
|
||||
self.moves
|
||||
}
|
||||
pub const fn move_to_foundation_count(&self) -> u32 {
|
||||
self.move_to_foundation_count
|
||||
}
|
||||
pub const fn flip_up_bonus_count(&self) -> u32 {
|
||||
self.flip_up_bonus_count
|
||||
}
|
||||
pub const fn move_to_tableau_count(&self) -> u32 {
|
||||
self.move_to_tableau_count
|
||||
}
|
||||
pub const fn move_from_foundation_count(&self) -> u32 {
|
||||
self.move_from_foundation_count
|
||||
}
|
||||
pub const fn recycle_count(&self) -> u32 {
|
||||
self.recycle_count
|
||||
}
|
||||
/// A card was moved to a foundation.
|
||||
const fn increment_move_to_foundation(&mut self) {
|
||||
self.move_to_foundation_count += 1;
|
||||
@@ -133,6 +164,38 @@ impl Tableau {
|
||||
})
|
||||
}
|
||||
}
|
||||
pub struct TableauIter {
|
||||
tableau: Option<Tableau>,
|
||||
}
|
||||
impl TableauIter {
|
||||
pub const fn new() -> Self {
|
||||
Self {
|
||||
tableau: Some(Tableau::ITER_BEGIN),
|
||||
}
|
||||
}
|
||||
}
|
||||
impl Default for TableauIter {
|
||||
fn default() -> Self {
|
||||
Self::new()
|
||||
}
|
||||
}
|
||||
impl Iterator for TableauIter {
|
||||
type Item = Tableau;
|
||||
fn next(&mut self) -> Option<Self::Item> {
|
||||
let tableau = self.tableau?;
|
||||
self.tableau = tableau.next();
|
||||
Some(tableau)
|
||||
}
|
||||
}
|
||||
impl IntoIterator for Tableau {
|
||||
type Item = Self;
|
||||
type IntoIter = TableauIter;
|
||||
fn into_iter(self) -> Self::IntoIter {
|
||||
TableauIter {
|
||||
tableau: Some(self),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
|
||||
pub enum Foundation {
|
||||
@@ -153,6 +216,38 @@ impl Foundation {
|
||||
})
|
||||
}
|
||||
}
|
||||
pub struct FoundationIter {
|
||||
foundation: Option<Foundation>,
|
||||
}
|
||||
impl FoundationIter {
|
||||
pub const fn new() -> Self {
|
||||
Self {
|
||||
foundation: Some(Foundation::ITER_BEGIN),
|
||||
}
|
||||
}
|
||||
}
|
||||
impl Default for FoundationIter {
|
||||
fn default() -> Self {
|
||||
Self::new()
|
||||
}
|
||||
}
|
||||
impl Iterator for FoundationIter {
|
||||
type Item = Foundation;
|
||||
fn next(&mut self) -> Option<Self::Item> {
|
||||
let foundation = self.foundation?;
|
||||
self.foundation = foundation.next();
|
||||
Some(foundation)
|
||||
}
|
||||
}
|
||||
impl IntoIterator for Foundation {
|
||||
type Item = Self;
|
||||
type IntoIter = FoundationIter;
|
||||
fn into_iter(self) -> Self::IntoIter {
|
||||
FoundationIter {
|
||||
foundation: Some(self),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
|
||||
pub enum KlondikePile {
|
||||
@@ -365,54 +460,59 @@ const fn sum(n: usize) -> usize {
|
||||
n * (n + 1) / 2
|
||||
}
|
||||
const STOCK: usize = 52 - sum(TABLEAUS);
|
||||
const NUM_RANKS: usize = Rank::RANKS.len();
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize)
|
||||
)]
|
||||
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
|
||||
pub struct KlondikeState {
|
||||
stock: Pile<STOCK, STOCK>,
|
||||
foundations: [Stack<13>; 4],
|
||||
tableau1: Pile<0, 13>,
|
||||
tableau2: Pile<1, 13>,
|
||||
tableau3: Pile<2, 13>,
|
||||
tableau4: Pile<3, 13>,
|
||||
tableau5: Pile<4, 13>,
|
||||
tableau6: Pile<5, 13>,
|
||||
tableau7: Pile<6, 13>,
|
||||
foundations: [Stack<NUM_RANKS>; 4],
|
||||
tableau1: Pile<0, NUM_RANKS>,
|
||||
tableau2: Pile<1, NUM_RANKS>,
|
||||
tableau3: Pile<2, NUM_RANKS>,
|
||||
tableau4: Pile<3, NUM_RANKS>,
|
||||
tableau5: Pile<4, NUM_RANKS>,
|
||||
tableau6: Pile<5, NUM_RANKS>,
|
||||
tableau7: Pile<6, NUM_RANKS>,
|
||||
}
|
||||
impl KlondikeState {
|
||||
pub const fn stock(&self) -> &Pile<STOCK, STOCK> {
|
||||
&self.stock
|
||||
}
|
||||
pub const fn foundation1(&self) -> &Stack<13> {
|
||||
pub const fn foundation1(&self) -> &Stack<NUM_RANKS> {
|
||||
&self.foundations[Foundation::Foundation1 as usize]
|
||||
}
|
||||
pub const fn foundation2(&self) -> &Stack<13> {
|
||||
pub const fn foundation2(&self) -> &Stack<NUM_RANKS> {
|
||||
&self.foundations[Foundation::Foundation2 as usize]
|
||||
}
|
||||
pub const fn foundation3(&self) -> &Stack<13> {
|
||||
pub const fn foundation3(&self) -> &Stack<NUM_RANKS> {
|
||||
&self.foundations[Foundation::Foundation3 as usize]
|
||||
}
|
||||
pub const fn foundation4(&self) -> &Stack<13> {
|
||||
pub const fn foundation4(&self) -> &Stack<NUM_RANKS> {
|
||||
&self.foundations[Foundation::Foundation4 as usize]
|
||||
}
|
||||
pub const fn tableau1(&self) -> &Pile<0, 13> {
|
||||
pub const fn tableau1(&self) -> &Pile<0, NUM_RANKS> {
|
||||
&self.tableau1
|
||||
}
|
||||
pub const fn tableau2(&self) -> &Pile<1, 13> {
|
||||
pub const fn tableau2(&self) -> &Pile<1, NUM_RANKS> {
|
||||
&self.tableau2
|
||||
}
|
||||
pub const fn tableau3(&self) -> &Pile<2, 13> {
|
||||
pub const fn tableau3(&self) -> &Pile<2, NUM_RANKS> {
|
||||
&self.tableau3
|
||||
}
|
||||
pub const fn tableau4(&self) -> &Pile<3, 13> {
|
||||
pub const fn tableau4(&self) -> &Pile<3, NUM_RANKS> {
|
||||
&self.tableau4
|
||||
}
|
||||
pub const fn tableau5(&self) -> &Pile<4, 13> {
|
||||
pub const fn tableau5(&self) -> &Pile<4, NUM_RANKS> {
|
||||
&self.tableau5
|
||||
}
|
||||
pub const fn tableau6(&self) -> &Pile<5, 13> {
|
||||
pub const fn tableau6(&self) -> &Pile<5, NUM_RANKS> {
|
||||
&self.tableau6
|
||||
}
|
||||
pub const fn tableau7(&self) -> &Pile<6, 13> {
|
||||
pub const fn tableau7(&self) -> &Pile<6, NUM_RANKS> {
|
||||
&self.tableau7
|
||||
}
|
||||
pub fn tableau_face_down_cards(&self, tableau: Tableau) -> &[Card] {
|
||||
@@ -449,14 +549,20 @@ impl KlondikeState {
|
||||
KlondikePileStack::Stock => self.stock.face_up().last(),
|
||||
}
|
||||
}
|
||||
pub fn top_card<S: Into<KlondikePile>>(&self, src: S) -> Option<&Card> {
|
||||
match src.into() {
|
||||
KlondikePile::Tableau(tableau) => self.tableau_face_up_cards(tableau).last(),
|
||||
KlondikePile::Foundation(foundation) => self.foundations[foundation as usize].last(),
|
||||
pub fn tableau_top_card(&self, tableau: Tableau) -> Option<&Card> {
|
||||
self.tableau_face_up_cards(tableau).last()
|
||||
}
|
||||
pub fn foundation_top_card(&self, foundation: Foundation) -> Option<&Card> {
|
||||
self.foundations[foundation as usize].last()
|
||||
}
|
||||
pub fn top_card(&self, pile: KlondikePile) -> Option<&Card> {
|
||||
match pile {
|
||||
KlondikePile::Tableau(tableau) => self.tableau_top_card(tableau),
|
||||
KlondikePile::Foundation(foundation) => self.foundation_top_card(foundation),
|
||||
KlondikePile::Stock => self.stock.face_up().last(),
|
||||
}
|
||||
}
|
||||
fn take_stack(&mut self, src: KlondikePileStack) -> (Stack<13>, bool) {
|
||||
fn take_stack_flip_up(&mut self, src: KlondikePileStack) -> (Stack<NUM_RANKS>, bool) {
|
||||
match src {
|
||||
KlondikePileStack::Tableau(TableauStack {
|
||||
tableau,
|
||||
@@ -477,8 +583,8 @@ impl KlondikeState {
|
||||
KlondikePileStack::Stock => (Stack::from_iter(self.stock.pop()), false),
|
||||
}
|
||||
}
|
||||
fn take_top_card<S: Into<KlondikePile>>(&mut self, src: S) -> (Option<Card>, bool) {
|
||||
match src.into() {
|
||||
fn take_top_card_flip_up(&mut self, pile: KlondikePile) -> (Option<Card>, bool) {
|
||||
match pile {
|
||||
KlondikePile::Tableau(tableau) => match tableau {
|
||||
Tableau::Tableau1 => self.tableau1.pop_flip_up(),
|
||||
Tableau::Tableau2 => self.tableau2.pop_flip_up(),
|
||||
@@ -528,7 +634,7 @@ impl KlondikeState {
|
||||
KlondikeInstruction::DstFoundation(dst_foundation) => {
|
||||
// get the top cards
|
||||
if let Some(src_card) = self.top_card(dst_foundation.src) {
|
||||
match self.top_card(dst_foundation.foundation) {
|
||||
match self.foundation_top_card(dst_foundation.foundation) {
|
||||
// destination card exists
|
||||
Some(dst_card) => {
|
||||
// suit matches?
|
||||
@@ -552,7 +658,7 @@ impl KlondikeState {
|
||||
}
|
||||
// get the cards
|
||||
if let Some(src_card) = self.stack_bottom_card(dst_tableau.src) {
|
||||
match self.top_card(dst_tableau.tableau) {
|
||||
match self.tableau_top_card(dst_tableau.tableau) {
|
||||
// destination card exists
|
||||
Some(dst_card) => {
|
||||
// red-ness is opposite?
|
||||
@@ -589,7 +695,16 @@ impl Iterator for KlondikeIter {
|
||||
instruction
|
||||
}
|
||||
}
|
||||
#[test]
|
||||
fn test_klondike_iter() {
|
||||
assert_eq!(KlondikeIter::new().count(), 721);
|
||||
}
|
||||
|
||||
#[cfg_attr(
|
||||
feature = "serde",
|
||||
derive(serde_derive::Deserialize, serde_derive::Serialize),
|
||||
serde(transparent)
|
||||
)]
|
||||
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
|
||||
pub struct Klondike {
|
||||
state: KlondikeState,
|
||||
@@ -608,7 +723,9 @@ impl Klondike {
|
||||
let mut deck = deck.into_iter();
|
||||
|
||||
// generate tableaus
|
||||
fn pile<const DN: usize>(deck: &mut <Stack<52> as IntoIterator>::IntoIter) -> Pile<DN, 13> {
|
||||
fn pile<const DN: usize>(
|
||||
deck: &mut <Stack<52> as IntoIterator>::IntoIter,
|
||||
) -> Pile<DN, NUM_RANKS> {
|
||||
let stack = Stack::from_iter(deck.take(DN));
|
||||
let mut pile = Pile::new_face_down(stack);
|
||||
pile.push(deck.next().unwrap());
|
||||
@@ -740,7 +857,7 @@ impl Game for Klondike {
|
||||
// Move a card from anywhere to a foundation
|
||||
KlondikeInstruction::DstFoundation(DstFoundation { src, foundation }) => {
|
||||
stats.increment_move_to_foundation();
|
||||
let (card, did_flip_up) = self.state.take_top_card(src);
|
||||
let (card, did_flip_up) = self.state.take_top_card_flip_up(src);
|
||||
if did_flip_up {
|
||||
stats.increment_flip_up_bonus();
|
||||
}
|
||||
@@ -751,9 +868,9 @@ impl Game for Klondike {
|
||||
match src {
|
||||
KlondikePileStack::Stock => stats.increment_move_to_tableau(),
|
||||
KlondikePileStack::Foundation(_) => stats.increment_move_from_foundation(),
|
||||
_ => {}
|
||||
KlondikePileStack::Tableau(_) => {}
|
||||
}
|
||||
let (cards, did_flip_up) = self.state.take_stack(src);
|
||||
let (cards, did_flip_up) = self.state.take_stack_flip_up(src);
|
||||
if did_flip_up {
|
||||
stats.increment_flip_up_bonus();
|
||||
}
|
||||
@@ -772,3 +889,28 @@ impl Game for Klondike {
|
||||
})
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(feature = "serde")]
|
||||
impl serde::Serialize for KlondikeInstruction {
|
||||
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
||||
where
|
||||
S: serde::Serializer,
|
||||
{
|
||||
// There is 721 klondike instructions
|
||||
let instruction_id = KlondikeIter::new()
|
||||
.position(|instruction| &instruction == self)
|
||||
.unwrap();
|
||||
serializer.serialize_u16(instruction_id as u16)
|
||||
}
|
||||
}
|
||||
#[cfg(feature = "serde")]
|
||||
impl<'de> serde::Deserialize<'de> for KlondikeInstruction {
|
||||
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
|
||||
where
|
||||
D: serde::Deserializer<'de>,
|
||||
{
|
||||
let instruction_id = u16::deserialize(deserializer)?;
|
||||
let instruction = KlondikeIter::new().nth(instruction_id as usize).unwrap();
|
||||
Ok(instruction)
|
||||
}
|
||||
}
|
||||
|
||||
@@ -0,0 +1,5 @@
|
||||
---
|
||||
source: klondike/src/test.rs
|
||||
expression: serialized
|
||||
---
|
||||
{"config":{"inner":{"draw_stock":"DrawOne","move_from_foundation":"Allowed","scoring":{"move_to_foundation":10,"flip_up_bonus":5,"move_to_tableau":5,"move_from_foundation":-15,"recycle":0}},"undo_penalty":-15,"solve_moves_budget":100000,"solve_states_budget":100000},"initial_state":{"stock":{"face_down":[52,51,21,59,36,45,49,50,22,3,58,39,41,61,13,57,34,56,28,1,19,12,17,5],"face_up":[]},"foundations":[[],[],[],[]],"tableau1":{"face_down":[],"face_up":[40]},"tableau2":{"face_down":[9],"face_up":[4]},"tableau3":{"face_down":[35,8],"face_up":[60]},"tableau4":{"face_down":[11,27,44],"face_up":[25]},"tableau5":{"face_down":[6,7,23,18],"face_up":[29]},"tableau6":{"face_down":[2,55,10,42,24],"face_up":[54]},"tableau7":{"face_down":[26,43,38,53,37,33],"face_up":[20]}},"instructions":[336,100,720,619,606,6,720,19,16,388,497,580,388,720,139,720,19,720,17,31,720,720,720,7,720,720,523,458,720,720,720,720,720,720,720,720,43,43,720,720,720,139,720,19,720,43,720,43,720,720,720,720,720,720,720,720,720,623,619,720,720,720,720,720,720,720,720,720,720,693,281,333,253,209,113,87,720,720,720,720,720,720,720,720,75,223,619,533,74,2,720,116,331,279,279,305,305,29,25,24,12,37,25,222,24,42,126,471,720,720,720,362,292,331,253,720,19,720,183,151,12,67,336,61,93,235,720,7,2,0,7,38,26,14,27,15,26,36,0,7,3,6,18,43,36,24,12,0,1,19,38,26,39,27,15,38,26,36]}
|
||||
@@ -0,0 +1,6 @@
|
||||
---
|
||||
source: klondike/src/test.rs
|
||||
expression: serialized
|
||||
extension: bin
|
||||
snapshot_kind: binary
|
||||
---
|
||||
Binary file not shown.
@@ -0,0 +1,55 @@
|
||||
use crate::Klondike;
|
||||
use card_game::Session;
|
||||
|
||||
#[test]
|
||||
fn test_is_winnable() {
|
||||
// is winnable
|
||||
let solution_result = Session::new_default(Klondike::with_seed(124)).solve();
|
||||
if let Ok(Some(solution)) = solution_result {
|
||||
let win_moves = solution.clean_solution();
|
||||
// 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");
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(feature = "serde")]
|
||||
#[test]
|
||||
fn test_json() {
|
||||
let mut session = Session::new_default(Klondike::with_seed(124));
|
||||
let solution_result = session.solve();
|
||||
if let Ok(Some(solution)) = solution_result {
|
||||
for snapshot in solution.clean_solution() {
|
||||
session.process_instruction(snapshot.instruction().clone());
|
||||
}
|
||||
}
|
||||
let serialized = serde_json::to_string(&session).unwrap();
|
||||
println!("serialized = {serialized}");
|
||||
let round_trip_session: Session<Klondike> = serde_json::from_str(&serialized).unwrap();
|
||||
let serialized2 = serde_json::to_string(&round_trip_session).unwrap();
|
||||
assert_eq!(serialized, serialized2);
|
||||
|
||||
insta::assert_snapshot!(serialized);
|
||||
}
|
||||
|
||||
#[cfg(feature = "serde")]
|
||||
#[test]
|
||||
fn test_rmp() {
|
||||
let mut session = Session::new_default(Klondike::with_seed(124));
|
||||
let solution_result = session.solve();
|
||||
if let Ok(Some(solution)) = solution_result {
|
||||
for snapshot in solution.clean_solution() {
|
||||
session.process_instruction(snapshot.instruction().clone());
|
||||
}
|
||||
}
|
||||
let serialized = rmp_serde::to_vec(&session).unwrap();
|
||||
println!("serialized.len() = {}", serialized.len());
|
||||
let round_trip_session: Session<Klondike> = rmp_serde::from_slice(&serialized).unwrap();
|
||||
let serialized2 = rmp_serde::to_vec(&round_trip_session).unwrap();
|
||||
assert_eq!(serialized, serialized2);
|
||||
|
||||
insta::assert_binary_snapshot!("save_rmp.bin", serialized);
|
||||
}
|
||||
Reference in New Issue
Block a user