Skip to main content

is_euclidean

qualia_core_db::modalities::modal

Function is_euclidean 

Source 
pub fn is_euclidean(graph: &[NQuin], accesses: u64, worlds: &[u64]) -> bool
Expand description

Euclidean (axiom 5: ◇φ→□◇φ): wRv ∧ wRu ⇒ vRu.