Struct DomainInfo 

pub struct DomainInfo {
    pub name: String,
    pub size: Option<usize>,
    pub domain_type: DomainType,
    pub constraints: Vec<String>,
    pub metadata: HashMap<String, String>,
}

Represents a domain constraint for a variable.

Fields

name: String

Domain name (e.g., “Person”, “Integer”, “Real”)

size: Option<usize>

Domain size (None for infinite domains like Real)

domain_type: DomainType

Domain type category

constraints: Vec<String>

Additional constraints (e.g., “positive”, “bounded”)

metadata: HashMap<String, String>

Optional metadata for custom domains

Implementations

impl DomainInfo

pub fn new(name: impl Into<String>, domain_type: DomainType) -> Self

Create a new domain with given name and type.

pub fn finite(name: impl Into<String>, size: usize) -> Self

Create a finite domain with a specific size.

pub fn integer(name: impl Into<String>) -> Self

Create an integer domain.

pub fn real(name: impl Into<String>) -> Self

Create a real number domain.

pub fn boolean(name: impl Into<String>) -> Self

Create a boolean domain.

pub fn with_constraint(self, constraint: impl Into<String>) -> Self

Add a constraint to this domain.

pub fn with_metadata( self, key: impl Into<String>, value: impl Into<String>, ) -> Self

Add metadata to this domain.

pub fn with_size(self, size: usize) -> Self

Set the size for this domain.

pub fn is_compatible_with(&self, other: &DomainInfo) -> bool

Check if this domain is compatible with another.

Two domains are compatible if:

• They have the same type category
• Finite domains have compatible sizes
• Constraints don’t conflict

pub fn can_cast_to(&self, target: &DomainInfo) -> bool

Check if this domain can be cast to another domain.

Casting rules:

• Boolean -> Integer -> Real
• Finite -> Integer (if size fits)
• Same type is always compatible

Trait Implementations

impl Clone for DomainInfo

fn clone(&self) -> DomainInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DomainInfo

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DomainInfo

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DomainInfo

fn eq(&self, other: &DomainInfo) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for DomainInfo

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DomainInfo