Struct CspProblem 

pub struct CspProblem { /* private fields */ }

CSP problem definition

Implementations

impl CspProblem

pub fn new() -> Self

Create a new CSP problem

pub fn add_variable(&mut self, variable: CspVariable) -> CspResult<()>

Add a variable to the problem

pub fn add_constraint(&mut self, constraint: CspConstraint) -> CspResult<()>

Add a constraint to the problem

pub fn set_objective(&mut self, objective: CspObjective) -> CspResult<()>

Set the objective function

pub const fn set_compilation_params(&mut self, params: CompilationParams)

Set compilation parameters

pub fn compile_to_qubo(&self) -> CspResult<(QuboModel, CspCompilationInfo)>

Compile the CSP to a QUBO formulation

Trait Implementations

impl Debug for CspProblem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CspProblem

fn default() -> Self

Returns the “default value” for a type.