Progress on solver interfaces docs

GamesCrafters · May 7, 2024 · 59c9e32 · 59c9e32
1 parent 69d4ba0
commit 59c9e32
Show file tree

Hide file tree

Showing 5 changed files with 166 additions and 307 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -25,8 +25,6 @@ lto = "fat"
 clap = { version = "^4", features = ["derive"] }
 serde_json = "^1"
 exitcode = "^1"
-nalgebra = "^0"
-colored = "^2"
 anyhow = "^1"
 bitvec = "^1"
 regex = "^1"

diff --git a/src/game/zero_by/mod.rs b/src/game/zero_by/mod.rs
@@ -27,7 +27,7 @@ use crate::model::game::Variant;
 use crate::model::game::{Player, PlayerCount, State};
 use crate::model::solver::SUtility;
 use crate::solver::algorithm::strong;
-use crate::solver::{Extensive, SimpleUtility};
+use crate::solver::{Sequential, SimpleUtility};
 
 /* SUBMODULES */
 
@@ -216,7 +216,7 @@ impl Forward for Session {
 
 /* SOLVING IMPLEMENTATIONS */
 
-impl<const N: PlayerCount> Extensive<N> for Session {
+impl<const N: PlayerCount> Sequential<N> for Session {
     fn turn(&self, state: State) -> Player {
         let (turn, _) = self.decode_state(state);
         turn