Skip to main content

wbipolar_residuals

argumentation_weighted_bipolar::reduce

Function wbipolar_residuals 

Source 
pub fn wbipolar_residuals<A>(
    framework: &WeightedBipolarFramework<A>,
    budget: Budget,
) -> Result<Vec<BipolarFramework<A>>, Error>
where
    A: Clone + Eq + Hash + Debug,
Expand description

Enumerate the residual [BipolarFramework]s obtained by dropping every β-inconsistent subset S of framework’s edges. Returns one residual per subset; residuals are yielded in bit-mask order where bits 0..attacks.len() index attacks and bits attacks.len()..attacks.len() + supports.len() index supports.