chore: drop reinforcement

LeoDog896 · Nov 4, 2024 · e12d2b9 · e12d2b9
1 parent 3a34d19
commit e12d2b9
Show file tree

Hide file tree

Showing 7 changed files with 17 additions and 364 deletions.
diff --git a/crates/game-solver/src/disjoint_game.rs b/crates/game-solver/src/disjoint_game.rs
@@ -8,8 +8,10 @@ use crate::{game::{Game, Normal, NormalImpartial}, player::ImpartialPlayer};
 /// two impartial normal combinatorial games.
 /// 
 /// Since `Game` isn't object safe, we use `dyn Any` internally with downcast safety.
+/// 
+/// We restrict games to being normal impartial to force implementation of the marker trait.
 #[derive(Clone)]
-pub struct DisjointImpartialNormalGame<L: Game, R: Game> {
+pub struct DisjointImpartialNormalGame<L: Game + NormalImpartial, R: Game + NormalImpartial> {
     left: L,
     right: R
 }
@@ -31,9 +33,20 @@ pub enum DisjointMoveError<L: Game, R: Game> {
 type LeftMoveMap<L, R> = Box<dyn Fn(<L as Game>::Move) -> DisjointMove<L, R>>;
 type RightMoveMap<L, R> = Box<dyn Fn(<R as Game>::Move) -> DisjointMove<L, R>>;
 
-impl<L: Game + Debug + 'static, R: Game + Debug + 'static> Normal for DisjointImpartialNormalGame<L, R> {}
-impl<L: Game + Debug + 'static, R: Game + Debug + 'static> NormalImpartial for DisjointImpartialNormalGame<L, R> {}
-impl<L: Game + Debug + 'static, R: Game + Debug + 'static> Game for DisjointImpartialNormalGame<L, R> {
+impl<
+    L: Game + Debug + NormalImpartial + 'static,
+    R: Game + Debug + NormalImpartial + 'static
+> Normal for DisjointImpartialNormalGame<L, R> {}
+
+impl<
+    L: Game + Debug + NormalImpartial + 'static,
+    R: Game + Debug + NormalImpartial + 'static
+> NormalImpartial for DisjointImpartialNormalGame<L, R> {}
+
+impl<
+    L: Game + Debug + NormalImpartial + 'static,
+    R: Game + Debug + NormalImpartial + 'static
+> Game for DisjointImpartialNormalGame<L, R> {
     type Move = DisjointMove<L, R>;
     type Iter<'a> = Interleave<
         Map<<L as Game>::Iter<'a>, LeftMoveMap<L, R>>,

diff --git a/crates/game-solver/src/reinforcement/agent.rs b/crates/game-solver/src/reinforcement/agent.rs
diff --git a/crates/game-solver/src/reinforcement/mod.rs b/crates/game-solver/src/reinforcement/mod.rs
diff --git a/crates/game-solver/src/reinforcement/state.rs b/crates/game-solver/src/reinforcement/state.rs
diff --git a/crates/game-solver/src/reinforcement/strategy/explore.rs b/crates/game-solver/src/reinforcement/strategy/explore.rs
diff --git a/crates/game-solver/src/reinforcement/strategy/mod.rs b/crates/game-solver/src/reinforcement/strategy/mod.rs