Struct CoherenceSpace 

pub struct CoherenceSpace {
    pub n_tokens: usize,
    pub coh: Vec<Vec<bool>>,
}

A coherence space: a reflexive, symmetric binary relation (web, coh).

Fields

n_tokens: usize

Number of tokens (web size).

coh: Vec<Vec<bool>>

Coherence matrix: coh[i][j] = true iff i and j are coherent (or equal).

Implementations

impl CoherenceSpace

pub fn flat(n: usize) -> Self

Create the flat coherence space: all distinct tokens are incoherent.

pub fn complete(n: usize) -> Self

Create the complete coherence space: all tokens are mutually coherent.

pub fn is_clique(&self, tokens: &[usize]) -> bool

Check if a set of tokens forms a clique (mutually coherent).

pub fn is_antichain(&self, tokens: &[usize]) -> bool

Check if a set of tokens is an antichain (mutually incoherent, except self).

pub fn tensor(&self, other: &CoherenceSpace) -> CoherenceSpace

Tensor product: web is n1 × n2, coherent iff both components coherent.

pub fn with(&self, other: &CoherenceSpace) -> CoherenceSpace

With connective: disjoint union (tagged tokens), coherent within each component.

Trait Implementations

impl Clone for CoherenceSpace

fn clone(&self) -> CoherenceSpace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoherenceSpace

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

Formats the value using the given formatter.