Skip to main content

not

qualia_core_db::modalities::likeliness::algebra

Function not 

Source 
pub fn not(l: Likeliness) -> Likeliness
Expand description

Negation — the order-reversing involution Impossible ↔ Certain, Even fixed. Note not(not(l)) == l, but or(l, not l) need not be Certain.