Struct CaDiCaLAssignment 

pub struct CaDiCaLAssignment<'slf> { /* private fields */ }

Available on cadical_version=v2.0.0 only.

An assignment passed from CaDiCaL

This performs lazy conversion to Lit in order to avoid unnecessary memory allocations and work

Implementations

impl CaDiCaLAssignment<'_>

pub fn iter(&self) -> impl Iterator<Item = Lit> + '_

Gets an iterator over the literals in the assignment

Panics

If CaDiCaL passes an invalid IPASIR literal

pub fn len(&self) -> usize

Gets the length of the clause

pub fn is_empty(&self) -> bool

Checks if the clause is empty

pub fn to_owned(&self) -> Assignment

Converts the clause into an owned rustsat::types::Assignment

This is costly because of IPASIR to Lit conversion and memory allocation

Trait Implementations

impl<'slf> Debug for CaDiCaLAssignment<'slf>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.