Struct QuantumLattice 

pub struct QuantumLattice {
    pub propositions: HashMap<u64, QuantumProposition>,
    pub lattice_order: Vec<u64>,
}

Orthomodular lattice for quantum propositional logic Implements non-distributive quantum logic with orthocomplementation

Fields

propositions: HashMap<u64, QuantumProposition>

lattice_order: Vec<u64>

Implementations

impl QuantumLattice

pub fn new() -> Self

Create a new quantum lattice with orthomodular structure

pub fn add_proposition(&mut self, prop: QuantumProposition)

Add a quantum proposition to the lattice

pub fn orthocomplement(&self, prop_id: u64) -> Option<u64>

Compute orthocomplement of a proposition (quantum NOT)

pub fn are_compatible(&self, prop1_id: u64, prop2_id: u64) -> bool

Check if two propositions are compatible (commuting observables)

pub fn quantum_and(&self, prop1_id: u64, prop2_id: u64) -> Option<u64>

Quantum AND operation (meet in orthomodular lattice)

pub fn quantum_or(&self, prop1_id: u64, prop2_id: u64) -> Option<u64>

Quantum OR operation (join in orthomodular lattice)

pub fn measure(&mut self, prop_id: u64) -> Option<QuantumTruthValue>

Apply measurement to collapse superposition

Trait Implementations

impl Clone for QuantumLattice

fn clone(&self) -> QuantumLattice

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantumLattice

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

Formats the value using the given formatter.

impl PartialEq for QuantumLattice

fn eq(&self, other: &QuantumLattice) -> 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 Eq for QuantumLattice

impl StructuralPartialEq for QuantumLattice