| Directory | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| src | + ++ + | ++ 0% + | ++ 0 / 41 + | + +0% | +0 / 20 | + + +100% | +0 / 0 | + +
| File | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| lib.rs | + ++ + | ++ 0% + | ++ 0 / 41 + | + +0% | +0 / 20 | + + +100% | +0 / 0 | + +
all_different, branch_IntVar, createVar, createVars, make_vec_intvar, output_vars1,+
// createVar(x: *mut *mut IntVar, min: ::std::os::raw::c_int, max: ::std::os::raw::c_int, el: bool)+
// createVars void createVars(vec<IntVar*>& x, int n, int min, int max, bool el)+
pub fn create_vars(n: i32, min: i32, max: i32, el: bool) -> *mut vec<*mut IntVar> {
+ pub unsafe fn all_different_wrapper(x: *mut vec<*mut IntVar>, cl: ConLevel) {
+ // void branch(vec<Branching*> x, VarBranch var_branch, ValBranch val_branch);+
| Directory | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| src/common/ast | + ++ + | ++ 81.82% + | ++ 9 / 11 + | + +15.58% | +12 / 77 | + + +100% | +0 / 0 | + +
| File | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| ast.rs | + ++ + | ++ 81.82% + | ++ 9 / 11 + | + +15.58% | +12 / 77 | + + +100% | +0 / 0 | + +
| Directory | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| src | + ++ + | ++ 76.35% + | ++ 297 / 389 + | + +45.88% | +39 / 85 | + + +100% | +0 / 0 | + +
/// A variable can either be a named variable, or an anomynous "constant as a variable".+
/// The latter is not stored in the symbol table, or counted in Minions internal list of all+
/// variables, but is used to allow the use of a constant in the place of a variable in a+
pub fn add_var(&mut self, name: VarName, vartype: VarDomain) -> Option<()> {
+ | File | +Line Coverage | +Functions | + +Branches | + +||||
|---|---|---|---|---|---|---|---|
| ast.rs | + ++ + | ++ 53.85% + | ++ 28 / 52 + | + +35.71% | +5 / 14 | + + +100% | +0 / 0 | + +
| error.rs | + ++ + | ++ 0% + | ++ 0 / 7 + | + +0% | +0 / 3 | + + +100% | +0 / 0 | + +
| raw_bindings.rs | + ++ + | ++ 97.7% + | ++ 85 / 87 + | + +60% | +3 / 5 | + + +100% | +0 / 0 | + +
| run.rs | + ++ + | ++ 76.86% + | ++ 176 / 229 + | + +48.72% | +19 / 39 | + + +100% | +0 / 0 | + +
| scoped_ptr.rs | + ++ + | ++ 57.14% + | ++ 8 / 14 + | + +50% | +12 / 24 | + + +100% | +0 / 0 | + +
let search_order = newSearchOrder(search_vars as _, VarOrderEnum_ORDER_STATIC, false);+
/// Callback function used to capture results from minion as they are generated.+
pub fn run_minion(model: Model, callback: Callback) -> Result<(), RuntimeError> {
+ let options = Scoped::new(newSearchOptions(), |x| searchOptions_free(x as _));+
let instance = Scoped::new(convert_model_to_raw(&model), |x| instance_free(x as _));+
let res = runMinion(options.ptr, args.ptr, instance.ptr, Some(hello_from_rust2));+
unsafe fn convert_model_to_raw(model: &Model) -> *mut ProbSpec_CSPInstance {
+ // this and other instance_ functions does not move so my use of ptrs are ok+
let raw_constraint = Scoped::new(newConstraintBlob(constraint_type), |x| {
+ // DO NOT call manually - this assumes that all needed vars are already in the symbol table.+
unsafe fn read_const(raw_constraint: *mut ProbSpec_ConstraintBlob, constant: &Constant) {
+