Function pocket_prover::countn
[−]
[src]
pub fn countn(n: usize, fun: &mut FnMut(&[u64]) -> u64) -> u64
Counts the number of solutions of an n-argument boolean function.