Struct Configuration

pub struct Configuration<StateId: IndexLike, MessageId: IndexLike, InvalidId: IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> {
    pub state_ids: [StateId; MAX_AGENTS],
    pub message_counts: [MessageIndex; MAX_AGENTS],
    pub message_ids: [MessageId; MAX_MESSAGES],
    pub invalid_id: InvalidId,
}

A complete system configuration.

We will have a lot of these, so keeping their size down and avoiding heap memory as much as possible is critical. The maximal sizes were chosen so that the configuration plus its memoized identifier will fit together inside exactly one cache lines, which should make this more cache-friendly when placed inside a hash table.

Fields

state_ids: [StateId; MAX_AGENTS]

The state of each agent.

message_counts: [MessageIndex; MAX_AGENTS]

The number of messages sent by each agent.

message_ids: [MessageId; MAX_MESSAGES]

The messages sent by each agent.

invalid_id: InvalidId

The invalid condition, if any.

Trait Implementations

impl<StateId: Clone + IndexLike, MessageId: Clone + IndexLike, InvalidId: Clone + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Clone for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

fn clone( &self, ) -> Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<StateId: Debug + IndexLike, MessageId: Debug + IndexLike, InvalidId: Debug + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Debug for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

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

Formats the value using the given formatter.

impl<StateId: IndexLike, MessageId: IndexLike, InvalidId: IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Default for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

fn default() -> Self

Returns the “default value” for a type.

impl<StateId: Hash + IndexLike, MessageId: Hash + IndexLike, InvalidId: Hash + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Hash for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

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<StateId: PartialEq + IndexLike, MessageId: PartialEq + IndexLike, InvalidId: PartialEq + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> PartialEq for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

fn eq( &self, other: &Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>, ) -> 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<StateId: Copy + IndexLike, MessageId: Copy + IndexLike, InvalidId: Copy + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Copy for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

impl<StateId: Eq + IndexLike, MessageId: Eq + IndexLike, InvalidId: Eq + IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> Eq for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

impl<StateId: IndexLike, MessageId: IndexLike, InvalidId: IndexLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> StructuralPartialEq for Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>