Struct Minion

pub struct Minion { /* private fields */ }

A SolverAdaptor for interacting with Minion.

This adaptor uses the minion_rs crate to talk to Minion over FFI.

Implementations

impl Minion

pub fn new() -> Minion

Trait Implementations

impl Default for Minion

fn default() -> Minion

Returns the “default value” for a type.

impl SolverAdaptor for Minion

fn solve( &mut self, callback: Box<dyn Fn(HashMap<Name, Literal>) -> bool + Send>, _: Internal, ) -> Result<SolveSuccess, SolverError>

Runs the solver on the given model.

fn solve_mut( &mut self, callback: Box<dyn Fn(HashMap<Name, Literal>, Box<dyn ModelModifier>) -> bool + Send>, _: Internal, ) -> Result<SolveSuccess, SolverError>

Runs the solver on the given model, allowing modification of the model through a ModelModifier.

fn load_model(&mut self, model: Model, _: Internal) -> Result<(), SolverError>

fn get_family(&self) -> SolverFamily

Get the solver family that this solver adaptor belongs to

fn get_name(&self) -> Option<String>

Gets the name of the solver adaptor for pretty printing.

fn init_solver(&mut self, _: Internal)

fn add_adaptor_info_to_stats(&self, stats: SolverStats) -> SolverStats

Adds the solver adaptor name and family (if they exist) to the given stats object.