Trait total_space::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.

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.

Loading content...

Associated Constants

const MAX_AGENTS: usize

The maximal number of agents.

const MAX_MESSAGES: usize

The maximal number of in-flight messages.

Loading content...

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>

type StateId = StateId

type MessageId = MessageId

type InvalidId = InvalidId

type ConfigurationId = ConfigurationId

type Payload = Payload

const MAX_AGENTS: usize

const MAX_MESSAGES: usize

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(_: &Self, _: &Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>) -> Option<&'static str>

type Condition = fn(_: &Self, _: &Configuration<StateId, MessageId, InvalidId, MAX_AGENTS, MAX_MESSAGES>) -> bool

Loading content...