pub trait SolverProgram {
// Required methods
fn command_name(&self) -> &str;
fn arguments(&self, lp_file: &Path, solution_file: &Path) -> Vec<OsString>;
// Provided methods
fn preferred_temp_solution_file(&self) -> Option<&Path> { ... }
fn parse_stdout_status(&self, _stdout: &[u8]) -> Option<Status> { ... }
fn solution_suffix(&self) -> Option<&str> { ... }
}Expand description
An external commandline solver
Required Methods§
Sourcefn command_name(&self) -> &str
fn command_name(&self) -> &str
Returns the commandline program name
Provided Methods§
Sourcefn preferred_temp_solution_file(&self) -> Option<&Path>
fn preferred_temp_solution_file(&self) -> Option<&Path>
If there is a predefined solution filename
Sourcefn parse_stdout_status(&self, _stdout: &[u8]) -> Option<Status>
fn parse_stdout_status(&self, _stdout: &[u8]) -> Option<Status>
Parse the output of the program
Sourcefn solution_suffix(&self) -> Option<&str>
fn solution_suffix(&self) -> Option<&str>
A suffix the solution file must have