conjure_oxide::solver::states

Trait SolverState

pub trait SolverState: Sealed { }

Implementors§

impl SolverState for ExecutionFailure

impl SolverState for ExecutionSuccess

impl SolverState for Init

impl SolverState for ModelLoaded