Trait rustsat::types::IWLitIter

source · 
pub trait IWLitIter: IntoIterator<Item = (Lit, isize)> { }
Expand description

An iterator over integer-weighted literals

Implementors§

source§

impl<I: IntoIterator<Item = (Lit, isize)>> IWLitIter for I