Enum SatisfactionResult 

pub enum SatisfactionResult<'solver, 'brancher, B>
where
    B: Brancher,
{
    Satisfiable(Satisfiable<'solver, 'brancher, B>),
    Unsatisfiable(&'solver Solver, &'brancher B),
    Unknown(&'solver Solver, &'brancher B),
}

The result of a call to Solver::satisfy.

Variants

Satisfiable(Satisfiable<'solver, 'brancher, B>)

Indicates that a solution was found.

The solution can be obtained with Satisfiable::solution, as well as the solver and brancher. The solver and brancher may be of interest to e.g. log statistics. When the result is dropped, the solver will be reset to the root, ready for further use.

Unsatisfiable(&'solver Solver, &'brancher B)

Indicates that there is no solution to the satisfaction problem.

Unknown(&'solver Solver, &'brancher B)

Indicates that it is not known whether a solution exists. This is likely due to a [TerminationCondition] triggering.

Trait Implementations

impl<'solver, 'brancher, B> Debug for SatisfactionResult<'solver, 'brancher, B>

where B: Debug + Brancher,

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

Formats the value using the given formatter.