Trait conjure_oxide::solver::states::SolverState

pub trait SolverState: Sealed { }

Implementors

impl SolverState for ExecutionFailure

impl SolverState for ExecutionSuccess

impl SolverState for Init

impl SolverState for ModelLoaded