Struct seitan::IndexedProperty [−][src]
pub struct IndexedProperty<'a, C, I> where
C: Index<I>,
I: Clone + 'a,
<C as Index<I>>::Output: 'a, { /* fields omitted */ }Implementations
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: 'a, [src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: 'a, [src]pub fn new(collection: C, initial_index: I) -> IndexedProperty<'a, C, I>[src]
pub fn from_index_property(
collection: C,
index: Property<'a, I>
) -> IndexedProperty<'a, C, I>[src]
collection: C,
index: Property<'a, I>
) -> IndexedProperty<'a, C, I>
pub fn get(&self) -> &<C as Index<I>>::Output[src]
pub fn current_index(&self) -> I[src]
pub fn set(&mut self, index: I)[src]
pub fn collection(&self) -> &C[src]
pub fn index_property(&self) -> &Property<'a, I>[src]
pub fn index_property_mut(&mut self) -> &mut Property<'a, I>[src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: Clone + 'a, [src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: Clone + 'a, [src]