Struct OperationAlgebra 

pub struct OperationAlgebra {
    pub operation_type: String,
    pub read_set_bound: String,
    pub write_set_bound: String,
    pub conflict_type: ConflictType,
    pub convergence_semantic: ConvergenceSemantic,
    pub merge_function_description: String,
    pub commutativity_proof: Option<String>,
    pub determinism_proof: Option<String>,
}

Declared convergence algebra for an operation type

Fields

operation_type: String

read_set_bound: String

write_set_bound: String

conflict_type: ConflictType

convergence_semantic: ConvergenceSemantic

merge_function_description: String

commutativity_proof: Option<String>

determinism_proof: Option<String>

Implementations

impl OperationAlgebra

pub fn new( operation_type: &str, read_set_bound: &str, write_set_bound: &str, conflict_type: ConflictType, convergence_semantic: ConvergenceSemantic, merge_function_description: &str, ) -> Self

pub fn with_proofs( self, commutativity: Option<String>, determinism: Option<String>, ) -> Self

pub fn is_commutative(&self) -> bool

pub fn is_deterministic(&self) -> bool

Trait Implementations

impl Clone for OperationAlgebra

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationAlgebra

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

Formats the value using the given formatter.