Enum splr::solver::Certificate

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

Normal results returned by Solver.

Variants

SAT

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

Tuple Fields of SAT

0: Vec<i32>

UNSAT

It is unsatisfiable.

Trait Implementations

impl Debug for Certificate

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

Formats the value using the given formatter.

impl PartialEq<Certificate> for Certificate

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

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

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

This method tests for !=.

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.

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

Performs the conversion.

impl StructuralPartialEq for Certificate