Struct ipasir::Clause

pub struct Clause<'a> { /* fields omitted */ }

A clause from the IPASIR solver.

Methods

impl<'a> Clause<'a>

pub fn len(&self) -> usize

Returns the length of the clause.

pub fn is_empty(&self) -> bool

Returns true if the clause is empty.

Note

Normally a clause should never be empty.

Important traits for LitIter<'a>

impl<'a> Iterator for LitIter<'a> type Item = Lit;

pub fn iter(&self) -> LitIter

Returns an iterator over the literals of the clause.

Trait Implementations

impl<'a> From<&'a [Lit]> for Clause<'a>

fn from(lits: &'a [Lit]) -> Self

Performs the conversion.

impl<'a, Idx> Index<Idx> for Clause<'a> where
    Idx: SliceIndex<[Lit]>, 

type Output = <[Lit] as Index<Idx>>::Output

The returned type after indexing.

fn index(&self, index: Idx) -> &Self::Output

Performs the indexing (container[index]) operation.