Struct CspSolver 

pub struct CspSolver {
    pub stats: SolverStats,
    /* private fields */
}

A constraint satisfaction problem (CSP) solver.

Fields

stats: SolverStats

Statistics about the search

Implementations

impl CspSolver

pub fn new() -> Self

Create a new CSP solver with default settings.

pub fn add_variable(&mut self, variable: Variable)

Add a variable to the CSP.

pub fn add_constraint(&mut self, constraint: Constraint)

Add a constraint to the CSP.

pub fn set_propagation(&mut self, algorithm: PropagationAlgorithm)

Set the propagation algorithm.

pub fn solve(&mut self) -> Option<HashMap<String, i64>>

Solve the CSP and return a solution (assignment of values to variables).

Trait Implementations

impl Default for CspSolver

fn default() -> Self

Returns the “default value” for a type.