Enum ValidationError 

pub enum ValidationError {
    InvalidDomain {
        variable_id: VarId,
        issue: DomainIssue,
    },
    InvalidVariableReference {
        constraint_id: usize,
        variable_id: VarId,
        constraint_type: String,
    },
    ConflictingConstraints {
        conflict_type: ConflictType,
        variables: Vec<VarId>,
        constraint_details: String,
    },
    InvalidConstraintParameters {
        constraint_id: usize,
        constraint_type: String,
        issue: String,
    },
}

Validation result with specific error types for better error reporting

Variants

InvalidDomain

Empty or invalid variable domain

Fields

variable_id: VarId

issue: DomainIssue

InvalidVariableReference

Constraint references non-existent variable

Fields

constraint_id: usize

variable_id: VarId

constraint_type: String

ConflictingConstraints

Conflicting constraints detected

Fields

conflict_type: ConflictType

variables: Vec<VarId>

constraint_details: String

InvalidConstraintParameters

Constraint has invalid parameters

Fields

constraint_id: usize

constraint_type: String

issue: String

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl From<ValidationError> for SolverError

fn from(validation_error: ValidationError) -> Self

Converts to this type from the input type.