selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
//! Precision management for floating-point variables
//!
//! This module contains functionality for managing floating-point precision.
//! Currently all implementations are in model_core.rs and will be moved here in a future phase.

use crate::model::core::Model;

impl Model {
    // Note: Precision management methods are currently implemented in model_core.rs
    // They include:
    // - float_precision_digits() -> i32
    // - float_step_size() -> f64
    // - Precision configuration
    // - Step size calculations
    // - Float domain handling
    //
    // These will be moved to this module in a future phase of the modularization.
}