Enum splr::solver::Certificate

pub enum Certificate {
    SAT(Vec<i32>),
    UNSAT,
}

Normal results returned by Solver.

Variants

SAT(Vec<i32>)

It is satisfiable; vec is such an assignment sorted by var order.

UNSAT

It is unsatisfiable.

Trait Implementations

impl Debug for Certificate

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

Formats the value using the given formatter.

impl PartialEq<Certificate> for Certificate

pub fn eq(&self, other: &Certificate) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Certificate) -> bool

This method tests for !=.

impl StructuralPartialEq for Certificate

impl<V> TryFrom<Vec<V, Global>> for Certificate where
    V: AsRef<[i32]>, 

type Error = SolverError

The type returned in the event of a conversion error.

pub fn try_from(vec: Vec<V>) -> SolverResult

Performs the conversion.