Trait SolverState 

pub trait SolverState {
    const STATUS: SolverStatus;
}

Type-State 标记 trait。

Required Associated Constants

const STATUS: SolverStatus

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl SolverState for SAT

const STATUS: SolverStatus = SolverStatus::SAT

impl SolverState for SOLVING

const STATUS: SolverStatus = SolverStatus::SOLVING

impl SolverState for UNKNOWN

const STATUS: SolverStatus = SolverStatus::UNKNOWN

impl SolverState for UNSAT

const STATUS: SolverStatus = SolverStatus::UNSAT