Trait MetaModel

pub trait MetaModel {
    type StateId;
    type MessageId;
    type InvalidId;
    type ConfigurationId;
    type Payload;
    type AgentTypeRc;
    type Message;
    type Reaction;
    type Action;
    type Emit;
    type Invalid;
    type Configuration;
    type ConfigurationHashEntry;
    type Validator;
    type Condition;

    const MAX_AGENTS: usize;
    const MAX_MESSAGES: usize;
}

Allow querying the model’s meta-parameters for public types.

Required Associated Constants

const MAX_AGENTS: usize

The maximal number of agents.

const MAX_MESSAGES: usize

The maximal number of in-flight messages.

Required Associated Types

type StateId

The type of state identifiers.

type MessageId

The type of message identifiers.

type InvalidId

The type of invalid condition identifiers.

type ConfigurationId

The type of configuration identifiers.

type Payload

The type of message payloads.

type AgentTypeRc

The type of boxed agent type.

type Message

The type of in-flight messages.

type Reaction

The type of a event handling by an agent.

type Action

The type of an action from an agent.

type Emit

The type of an emitted messages.

type Invalid

The type of invalid conditions.

type Configuration

The type of the included configurations.

type ConfigurationHashEntry

The type of a hash table entry for the configurations (should be cache-friendly).

type Validator

The type of a configuration validation function.

type Condition

A condition on model configurations.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<StateId: IndexLike, MessageId: IndexLike, InvalidId: IndexLike, ConfigurationId: IndexLike, Payload: DataLike, const MAX_AGENTS: usize, const MAX_MESSAGES: usize> MetaModel for Model<StateId, MessageId, InvalidId, ConfigurationId, Payload, MAX_AGENTS, MAX_MESSAGES>

const MAX_AGENTS: usize = MAX_AGENTS

const MAX_MESSAGES: usize = MAX_MESSAGES

type StateId = StateId

type MessageId = MessageId

type InvalidId = InvalidId

type ConfigurationId = ConfigurationId

type Payload = Payload

type AgentTypeRc = Rc<dyn AgentType<StateId, Payload>>

type Message = Message<Payload>

type Reaction = Reaction<StateId, Payload>

type Action = Action<StateId, Payload>

type Emit = Emit<Payload>

type Invalid = Invalid<MessageId>

type Configuration = Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>

type ConfigurationHashEntry = (Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>, ConfigurationId)

type Validator = fn(&Model<StateId, MessageId, InvalidId, ConfigurationId, Payload, MAX_AGENTS, MAX_MESSAGES>, &Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>) -> Option<&'static str>

type Condition = fn(&Model<StateId, MessageId, InvalidId, ConfigurationId, Payload, MAX_AGENTS, MAX_MESSAGES>, &Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>) -> bool