Enum Operation 

pub enum Operation<I, O, C, N>
where
    I: Default + Clone,
    O: Default + Clone + Debug,
    C: Clone,
    N: Clone,
{
    CreateCausaloid(CausaloidId, Causaloid<I, O, (), Arc<RwLock<C>>>),
    UpdateCausaloid(CausaloidId, Causaloid<I, O, (), Arc<RwLock<C>>>),
    DeleteCausaloid(CausaloidId),
    CreateContext {
        id: ContextId,
        name: String,
        capacity: usize,
    },
    CreateExtraContext {
        context_id: ContextId,
        extra_context_id: u64,
        capacity: usize,
    },
    UpdateContext {
        id: ContextId,
        new_name: Option<String>,
    },
    DeleteContext(ContextId),
    AddContextoidToContext {
        context_id: ContextId,
        contextoid: N,
    },
    UpdateContextoidInContext {
        context_id: ContextId,
        existing_contextoid: ContextoidId,
        new_contextoid: N,
    },
    DeleteContextoidFromContext {
        context_id: ContextId,
        contextoid_id: ContextoidId,
    },
    Sequence,
    NoOp,
}

Represents all possible operations that can be applied to a causal model.

This enum provides a declarative way to specify model transformations. Each variant represents a primitive operation that can be executed by the Interpreter.

Type Parameters

• I: Input effect value type
• O: Output effect value type
• C: Context type (e.g., Context)
• N: Node type (e.g., Contextoid)

Variants

CreateCausaloid(CausaloidId, Causaloid<I, O, (), Arc<RwLock<C>>>)

Creates a new causaloid with the specified ID.

Fields

• CausaloidId: Unique identifier for the causaloid
• Causaloid: The causaloid instance to create

UpdateCausaloid(CausaloidId, Causaloid<I, O, (), Arc<RwLock<C>>>)

Updates an existing causaloid, replacing it with a new instance.

Fields

• CausaloidId: ID of the causaloid to update
• Causaloid: New causaloid instance

DeleteCausaloid(CausaloidId)

Deletes a causaloid by its ID.

Fields

• CausaloidId: ID of the causaloid to delete

CreateContext

Creates a new base context.

Fields

• id: Unique identifier for the context
• name: Human-readable name
• capacity: Initial capacity for the context graph

Fields

id: ContextId

name: String

capacity: usize

CreateExtraContext

Creates an extra context within an existing context.

Fields

• context_id: ID of the parent context
• extra_context_id: ID for the new extra context
• capacity: Initial capacity for the extra context

Fields

context_id: ContextId

extra_context_id: u64

capacity: usize

UpdateContext

Updates properties of an existing context.

Fields

• id: ID of the context to update
• new_name: Optional new name for the context

Fields

id: ContextId

new_name: Option<String>

DeleteContext(ContextId)

Deletes a context by its ID.

Fields

• ContextId: ID of the context to delete

AddContextoidToContext

Adds a node (contextoid) to a context’s graph.

Fields

• context_id: ID of the target context
• contextoid: The node to add

Fields

context_id: ContextId

contextoid: N

UpdateContextoidInContext

Updates an existing node (contextoid) within a context.

Fields

• context_id: ID of the containing context
• existing_contextoid: ID of the node to replace
• new_contextoid: New node instance

Fields

context_id: ContextId

existing_contextoid: ContextoidId

new_contextoid: N

DeleteContextoidFromContext

Deletes a node (contextoid) from a context’s graph.

Fields

• context_id: ID of the containing context
• contextoid_id: ID of the node to delete

Fields

context_id: ContextId

contextoid_id: ContextoidId

Sequence

Control flow: Execute all child operations in sequence.

Fails if any child operation fails. Used as a root or intermediate node in an OpTree to compose multiple operations.

NoOp

No operation. Useful as a placeholder or for conditional logic.

Trait Implementations

impl<I, O, C, N> Clone for Operation<I, O, C, N>

where I: Default + Clone + Clone, O: Default + Clone + Debug + Clone, C: Clone + Clone, N: Clone + Clone,

fn clone(&self) -> Operation<I, O, C, N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I, O, C, N> Debug for Operation<I, O, C, N>

where I: Default + Clone + Debug, O: Default + Clone + Debug + Debug, C: Clone + Debug, N: Clone + Debug,

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

Formats the value using the given formatter.