Struct KeyedVec

pub struct KeyedVec<Key, Value> { /* private fields */ }

! Contains containers which are used by the solver. Structure for storing elements of type Value, the structure can only be indexed by structures of type Key.

Almost all features of this structure require that Key implements the StorageKey trait.

Implementations

impl<Key: StorageKey, Value> KeyedVec<Key, Value>

pub fn push(&mut self, value: Value) -> Key

Add a new value to the vector.

Returns the key for the inserted value.

pub fn iter(&self) -> impl Iterator<Item = &Value>

Iterate over the values in the vector.

Trait Implementations

impl<Key, Value: Clone> Clone for KeyedVec<Key, Value>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Key: Debug, Value: Debug> Debug for KeyedVec<Key, Value>

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

Formats the value using the given formatter.

impl<Key, Value> Default for KeyedVec<Key, Value>

fn default() -> Self

Returns the “default value” for a type.

impl<Key: Hash, Value: Hash> Hash for KeyedVec<Key, Value>

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<Key: StorageKey, Value> Index<&Key> for KeyedVec<Key, Value>

type Output = Value

The returned type after indexing.

fn index(&self, index: &Key) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<Key: StorageKey, Value> Index<Key> for KeyedVec<Key, Value>

type Output = Value

The returned type after indexing.

fn index(&self, index: Key) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<Key: StorageKey, Value> IndexMut<Key> for KeyedVec<Key, Value>

fn index_mut(&mut self, index: Key) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<Key: PartialEq, Value: PartialEq> PartialEq for KeyedVec<Key, Value>

fn eq(&self, other: &KeyedVec<Key, Value>) -> 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<Key: Eq, Value: Eq> Eq for KeyedVec<Key, Value>

impl<Key, Value> StructuralPartialEq for KeyedVec<Key, Value>