Struct Array 

pub struct Array<Identifier = String, Var = VarRef<Identifier>> {
    pub identifier: Identifier,
    pub note: Option<String>,
    pub size: Vec<usize>,
    pub domains: Vec<(Vec<Var>, RangeList<IntVal>)>,
}

Definition of a k-dimensional arrays of variables

Fields

identifier: Identifier

Name used to refer to the array

note: Option<String>

Comment by the user

size: Vec<usize>

Dimensions of the array

domains: Vec<(Vec<Var>, RangeList<IntVal>)>

Domains of the variables contained within the array

Note that when several subsets of variables of an array have different domains, a rangelist is provided for each of these subsets. The first member of the tuple indicates the list of variables to which the domain definition applies. The special identifier others is used to declare a default domain for all other variables contained in the array.

Implementations

impl<Identifier: Clone + Hash + Eq + ToString> Array<Identifier, VarRef<Identifier>>

pub fn unroll( &self, ) -> Result<Array<Identifier, SimpleRef<Identifier>>, UnrollError>

Expand the domain definitions of the array domain defintiions into SimpleRef.

Trait Implementations

impl<Identifier: Clone, Var: Clone> Clone for Array<Identifier, Var>

fn clone(&self) -> Array<Identifier, Var>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Identifier: Debug, Var: Debug> Debug for Array<Identifier, Var>

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

Formats the value using the given formatter.

impl<'de, Identifier: From<String>, Var: IntoVar> Deserialize<'de> for Array<Identifier, Var>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl<Identifier: Hash, Var: Hash> Hash for Array<Identifier, Var>

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

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<Identifier: PartialEq, Var: PartialEq> PartialEq for Array<Identifier, Var>

fn eq(&self, other: &Array<Identifier, Var>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Identifier: Display> Serialize for Array<Identifier>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl<Identifier: PartialEq, Var: PartialEq> StructuralPartialEq for Array<Identifier, Var>