Trait monster::solver::Solver[−][src]

pub trait Solver: Default + Sync {
    fn name() -> &'static str;

    fn solve_impl<F: Formula>(
        &self, 
        formula: &F
    ) -> Result<Option<Assignment>, SolverError>;

    fn solve<F: Formula>(
        &self, 
        formula: &F
    ) -> Result<Option<Assignment>, SolverError> { ... }
}

Required methods

fn name() -> &'static str[src]

fn solve_impl<F: Formula>(
    &self,
    formula: &F
) -> Result<Option<Assignment>, SolverError>[src]

Loading content...

Provided methods

fn solve<F: Formula>(
    &self,
    formula: &F
) -> Result<Option<Assignment>, SolverError>[src]

Loading content...

Implementors

impl Solver for ExternalSolver[src]

impl Solver for MonsterSolver[src]

Loading content...