Struct espr::ir::PartialComplexEntity

pub struct PartialComplexEntity {
    pub indices: Vec<usize>,
}

Partial complex entity data type, e.g. $A \And B \And C$ in ISO document

Each component, e.g. $A$, will be represented by an index. $\And$ operation is implemented by std::ops::BitAnd trait. This satisfies following equations:

• $A \And A = A$

let a = PartialComplexEntity::new(&[1]);
assert_eq!(a.clone() & a.clone(), a);

• $A \And B = B \And A$

let a = PartialComplexEntity::new(&[1]);
let b = PartialComplexEntity::new(&[2]);
assert_eq!(a.clone() & b.clone(), b & a);

• $A \And (B \And C) = (A \And B) \And C = A \And B \And C$

let a = PartialComplexEntity::new(&[1]);
let b = PartialComplexEntity::new(&[3]);
let c = PartialComplexEntity::new(&[2]);
assert_eq!(
    (a.clone() & b.clone()) & c.clone(),
     a.clone() & (b.clone() & c.clone())
);
assert_eq!(a & b & c, PartialComplexEntity::new(&[1, 2, 3]));

Fields

indices: Vec<usize>

Sorted and non-duplicated indices

Implementations

impl PartialComplexEntity

pub fn new(indices: &[usize]) -> Self

pub fn as_path(&self, ns: &Namespace<'_>) -> Vec<Path>

Restore Path from namespace index

Trait Implementations

impl Add<Instantiables> for PartialComplexEntity

type Output = Instantiables

The resulting type after applying the + operator.

fn add(self, rhs: Instantiables) -> Instantiables

Performs the + operation.

impl Add<PartialComplexEntity> for Instantiables

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: PartialComplexEntity) -> Self

Performs the + operation.

impl BitAnd<Instantiables> for PartialComplexEntity

type Output = Instantiables

The resulting type after applying the & operator.

fn bitand(self, rhs: Instantiables) -> Instantiables

Performs the & operation.

impl BitAnd<PartialComplexEntity> for PartialComplexEntity

type Output = Self

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self

Performs the & operation.

impl BitAnd<PartialComplexEntity> for Instantiables

type Output = Instantiables

The resulting type after applying the & operator.

fn bitand(self, q: PartialComplexEntity) -> Instantiables

Performs the & operation.

impl Clone for PartialComplexEntity

fn clone(&self) -> PartialComplexEntity

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PartialComplexEntity

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

Formats the value using the given formatter.

impl Div<PartialComplexEntity> for Instantiables

type Output = Instantiables

The resulting type after applying the / operator.

fn div(self, rhs: PartialComplexEntity) -> Instantiables

Performs the / operation.

impl From<&'_ [usize]> for PartialComplexEntity

fn from(indices: &[usize]) -> PartialComplexEntity

Performs the conversion.

impl<'a> FromIterator<&'a PartialComplexEntity> for Instantiables

fn from_iter<I>(iter: I) -> Self where
    I: IntoIterator<Item = &'a PartialComplexEntity>, 

Creates a value from an iterator.

impl Ord for PartialComplexEntity

fn cmp(&self, rhs: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<PartialComplexEntity> for PartialComplexEntity

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl PartialOrd<PartialComplexEntity> for PartialComplexEntity

fn partial_cmp(&self, rhs: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Sub<PartialComplexEntity> for Instantiables

type Output = Self

The resulting type after applying the - operator.

fn sub(self, q: PartialComplexEntity) -> Self

Performs the - operation.

impl Eq for PartialComplexEntity

impl StructuralEq for PartialComplexEntity

impl StructuralPartialEq for PartialComplexEntity