Skip to main content

mask_width

logicaffeine_proof::res_width

Function mask_width 

Source 
pub fn mask_width(c: MaskClause) -> usize
Expand description

The width of a mask clause — its literal count.