Skip to main content

combine_routes

qualia_core_db::modalities::likeliness::algebra

Function combine_routes 

Source 
pub fn combine_routes(routes: &[Likeliness]) -> Likeliness
Expand description

Likeliness of a conclusion reachable by alternative routes = the strongest (join over all). The vacuous disjunction (no routes) is Impossible (the bottom).