Struct DecisionVariable

pub struct DecisionVariable {
    pub domain: Domain,
}

Represents a decision variable within a computational model.

A DecisionVariable has a domain that defines the set of values it can take. The domain could be:

• A boolean domain, meaning the variable can only be true or false.
• An integer domain, meaning the variable can only take specific integer values or a range of integers.

Fields

• domain:
  • Type: Domain
  • Represents the set of possible values that this decision variable can assume. The domain can be a range of integers (IntDomain) or a boolean domain (BoolDomain).

Example

use crate::ast::domains::{DecisionVariable, Domain, Range};

let bool_var = DecisionVariable::new(Domain::BoolDomain); let int_var = DecisionVariable::new(Domain::IntDomain(vec![Range::Bounded(1, 10)]));

println!(“Boolean Variable: {}”, bool_var); println!(“Integer Variable: {}”, int_var);

Fields

domain: Domain

Implementations

impl DecisionVariable

pub fn new(domain: Domain) -> DecisionVariable

Trait Implementations

impl Clone for DecisionVariable

fn clone(&self) -> DecisionVariable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionVariable

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DecisionVariable

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DecisionVariable

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

Formats the value using the given formatter.

impl PartialEq for DecisionVariable

fn eq(&self, other: &DecisionVariable) -> 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 DecisionVariable

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DecisionVariable

impl StructuralPartialEq for DecisionVariable