Enum DimConstraint 

pub enum DimConstraint {
    Eq(IndexExpr, IndexExpr),
    Lt(IndexExpr, IndexExpr),
    Lte(IndexExpr, IndexExpr),
    Gt(IndexExpr, IndexExpr),
    Gte(IndexExpr, IndexExpr),
    And(Box<DimConstraint>, Box<DimConstraint>),
    Or(Box<DimConstraint>, Box<DimConstraint>),
    Not(Box<DimConstraint>),
}

Dimension constraints for dependent types.

Variants

Eq(IndexExpr, IndexExpr)

Equality: e1 == e2

Lt(IndexExpr, IndexExpr)

Less than: e1 < e2

Lte(IndexExpr, IndexExpr)

Less than or equal: e1 <= e2

Gt(IndexExpr, IndexExpr)

Greater than: e1 > e2

Gte(IndexExpr, IndexExpr)

Greater than or equal: e1 >= e2

And(Box<DimConstraint>, Box<DimConstraint>)

Conjunction: c1 ∧ c2

Or(Box<DimConstraint>, Box<DimConstraint>)

Disjunction: c1 ∨ c2

Not(Box<DimConstraint>)

Negation: ¬c

Implementations

impl DimConstraint

pub fn eq(left: IndexExpr, right: IndexExpr) -> Self

pub fn lt(left: IndexExpr, right: IndexExpr) -> Self

pub fn lte(left: IndexExpr, right: IndexExpr) -> Self

pub fn gt(left: IndexExpr, right: IndexExpr) -> Self

pub fn gte(left: IndexExpr, right: IndexExpr) -> Self

pub fn and(left: DimConstraint, right: DimConstraint) -> Self

pub fn or(left: DimConstraint, right: DimConstraint) -> Self

pub fn not(constraint: DimConstraint) -> Self

pub fn referenced_vars(&self) -> HashSet<String>

Get all index variables referenced in this constraint

pub fn simplify(&self) -> DimConstraint

Simplify the constraint

Trait Implementations

impl Clone for DimConstraint

fn clone(&self) -> DimConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DimConstraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DimConstraint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DimConstraint

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

Formats the value using the given formatter.

impl Hash for DimConstraint

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 PartialEq for DimConstraint

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

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 DimConstraint

impl StructuralPartialEq for DimConstraint