Struct DecisionVariable 

pub struct DecisionVariable {
    pub domain: Domain,
    /* private fields */
}

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, category: Category) -> DecisionVariable

Trait Implementations

impl CategoryOf for DecisionVariable

fn category_of(&self) -> Category

Gets the Category of a term.

impl Clone for DecisionVariable

fn clone(&self) -> DecisionVariable

Returns a duplicate 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<(), Error>

Formats the value using the given formatter.

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

fn deserialize<__D>( __deserializer: __D, ) -> Result<DecisionVariable, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DecisionVariable

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

Formats the value using the given formatter.

impl Hash for DecisionVariable

fn hash<__H>(&self, __state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

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 as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Typeable for DecisionVariable

fn return_type(&self) -> Option<ReturnType>

impl Eq for DecisionVariable

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes