Trait batsat::clause::ClauseIterable

pub trait ClauseIterable: Debug {
    type Item: Copy + Into<Lit>;

    fn items(&self) -> &[Self::Item];
}

Anything that can be considered as a list of literals.

We use Into to have more flexibility for ClauseRef, which contains a slice of a union type rather than pure literals

Required Associated Types

type Item: Copy + Into<Lit>

Required Methods

fn items(&self) -> &[Self::Item]

Implementations on Foreign Types

impl<'a> ClauseIterable for &'a [Lit]

type Item = Lit

fn items(&self) -> &[Self::Item]

impl ClauseIterable for Vec<Lit>

type Item = Lit

fn items(self: &Vec<Lit>) -> &[Self::Item]

Implementors

impl ClauseIterable for IntSet<Lit>

type Item = Lit