Skip to content

Commit

Permalink
Minor fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
maxfierrog committed Mar 7, 2024
1 parent 0b6f048 commit cfbc28e
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 5 deletions.
3 changes: 2 additions & 1 deletion src/database/object/record.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
//! # Database Record Module
//!
//! This module provides an interface for statically-allocated database records.
//! This module defines the interface of a database record, and provides some
//! handy implementations for them.
//!
//! #### Authorship
//!
Expand Down
2 changes: 1 addition & 1 deletion src/database/util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ fn check_datatype_validity<'a>(
) -> Result<(), DatabaseError<'a>> {
let s = new.size();
if match new.datatype() {
Datatype::CSTR => s % 4 != 0,
Datatype::CSTR => s % 8 != 0,
Datatype::DPFP => s != 64,
Datatype::SPFP => s != 32,
Datatype::SINT => s < 2,
Expand Down
6 changes: 3 additions & 3 deletions src/game/zero_by/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ use crate::interface::{IOMode, SolutionMode};
use crate::model::PlayerCount;
use crate::model::Utility;
use crate::model::{State, Turn};
use crate::solver::strong::acyclic;
use crate::solver::strong;

/* SUBMODULES */

Expand Down Expand Up @@ -94,11 +94,11 @@ impl Game for Session {
fn solve(&self, mode: IOMode, method: SolutionMode) -> Result<()> {
match (self.players, method) {
(2, SolutionMode::Strong) => {
acyclic::dynamic_solver::<2, Self>(self, mode)
strong::acyclic::dynamic_solver::<2, Self>(self, mode)
.context("Failed solver run.")?
},
(10, SolutionMode::Strong) => {
acyclic::dynamic_solver::<10, Self>(self, mode)
strong::acyclic::dynamic_solver::<10, Self>(self, mode)
.context("Failed solver run.")?
},
_ => {
Expand Down

0 comments on commit cfbc28e

Please sign in to comment.