Skip to main content

WLitIter

rustsat::types

Trait WLitIter 

Source 
pub trait WLitIter: IntoIterator<Item = (Lit, usize)> { }
Expand description

An iterator over weighted literals

Implementors§

Source§

impl<I: IntoIterator<Item = (Lit, usize)>> WLitIter for I