Skip to main content

route_paraconsistent

Function route_paraconsistent 

Source
pub fn route_paraconsistent(
    quins: &[NQuin],
    out_consistent: &mut [NQuin],
    out_isolated: &mut [NQuin],
) -> Result<(usize, usize), ParaconsistentError>
Expand description

Routes Quins into consistent and isolated (contradictory) sub-contexts