Trait splr::types::ClauseIF

pub trait ClauseIF {
    pub fn is_empty(&self) -> bool;
    pub fn iter(&self) -> Iter<'_, Lit>;
    pub fn len(&self) -> usize;
}

API for Clause, providing literal accessors.

Required methods

pub fn is_empty(&self) -> bool

return true if it contains no literals; a clause after unit propagation.

pub fn iter(&self) -> Iter<'_, Lit>

return an iterator over its literals.

pub fn len(&self) -> usize

return the number of literals.

Loading content...

Implementors

impl ClauseIF for Clause

pub fn is_empty(&self) -> bool

pub fn iter(&self) -> Iter<'_, Lit>

pub fn len(&self) -> usize

Loading content...