[−][src]Trait batsat::clause::ClauseIterable

pub trait ClauseIterable: Debug {
    type Item: Copy + Into<Lit>;
    pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8]
impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8];
}

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

Associated Types

`type Item: Copy + Into<Lit>`[src]

Loading content...

Required methods

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Loading content...

Implementations on Foreign Types

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

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

`impl ClauseIterable for Vec<Lit>`[src]

`type Item = Lit`

`pub fn items(self: &Vec<Lit>) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Loading content...

Implementors

`impl ClauseIterable for IntSet<Lit>`[src]

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Loading content...

[−][src]Trait batsat::clause::ClauseIterable

Notable traits for &'_ mut [u8 ]

Associated Types

`type Item: Copy + Into<Lit>`[src]

Required methods

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

Implementations on Foreign Types

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

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

`impl ClauseIterable for Vec<Lit>`[src]

`type Item = Lit`

`pub fn items(self: &Vec<Lit>) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

Implementors

`impl ClauseIterable for IntSet<Lit>`[src]

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

[−][src]Trait batsat::clause::ClauseIterable

Notable traits for &'_ mut [u8]

Associated Types

type Item: Copy + Into<Lit>[src]

Required methods

pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8]impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8][src]

Notable traits for &'_ mut [u8]

Implementations on Foreign Types

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

type Item = Lit

pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8]impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8][src]

Notable traits for &'_ mut [u8]

impl ClauseIterable for Vec<Lit>[src]

type Item = Lit

pub fn items(self: &Vec<Lit>) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8]impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8][src]

Notable traits for &'_ mut [u8]

Implementors

impl ClauseIterable for IntSet<Lit>[src]

type Item = Lit

pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8]impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8][src]

Notable traits for &'_ mut [u8]

Notable traits for &'_ mut [u8 ]

`type Item: Copy + Into<Lit>`[src]

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

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

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

`impl ClauseIterable for Vec<Lit>`[src]

`type Item = Lit`

`pub fn items(self: &Vec<Lit>) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]

`impl ClauseIterable for IntSet<Lit>`[src]

`type Item = Lit`

`pub fn items(&self) -> &[Self::Item]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

Notable traits for &'_ mut [u8 ]