Examples of SetVar

it.stefanobertini.zebra.cpcl.config.SetVar
solver.variables.SetVar
A Set Variable is defined by a domain which is a set interval [kernel,envelope] The kernel is the set of elements that must belong to every single solution. The envelope is the set of elements that may belong to at least one solution.
One must notice that in this context, a VALUE of the variable is a set of integers. @author Charles Prud'homme, Jean-Guillaume Fages @since 15 nov. 2012

Examples of solver.variables.SetVar


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            set.duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(set);


            max.duplicate(solver, identitymap);
            IntVar M = (IntVar) identitymap.get(max);


            identitymap.put(this, new PropMaxElement(S, M, notEmpty));

View Full Code Here

Examples of solver.variables.SetVar

            for (int i = 0; i < size; i++) {
                this.bools[i].duplicate(solver, identitymap);
                aVars[i] = (BoolVar) identitymap.get(this.bools[i]);
            }
            this.set.duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(this.set);
            identitymap.put(this, new PropBoolChannel(S, aVars, this.offSet));
        }
    }

View Full Code Here

Examples of solver.variables.SetVar


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            set.duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(set);


            min.duplicate(solver, identitymap);
            IntVar M = (IntVar) identitymap.get(min);


            identitymap.put(this, new PropMinElement(S, M, notEmpty));

View Full Code Here

Examples of solver.variables.SetVar

            }
            ub = index.getUB();
            // filter set (constructive disjunction)
            if (noEmptyKer) {// from ker
                constructiveDisjunction.clear();
                SetVar v = array[index.getLB() - offSet];
                for (int j = v.getKernelFirst(); j != SetVar.END; j = v.getKernelNext()) {
                    if (!set.kernelContains(j)) {
                        constructiveDisjunction.add(j);
                    }
                }
                for (int cd = constructiveDisjunction.size() - 1; cd >= 0; cd--) {

View Full Code Here

Examples of solver.variables.SetVar

            for (int i = 0; i < size; i++) {
                this.vars[i].duplicate(solver, identitymap);
                aVars[i] = (SetVar) identitymap.get(this.vars[i]);
            }
            set.duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(set);


            index.duplicate(solver, identitymap);
            IntVar I = (IntVar) identitymap.get(index);


            identitymap.put(this, new PropElement(I, aVars, offSet, S));

View Full Code Here

Examples of solver.variables.SetVar


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar s1 = (SetVar) identitymap.get(vars[0]);


            vars[1].duplicate(solver, identitymap);
            SetVar s2 = (SetVar) identitymap.get(vars[1]);


            identitymap.put(this, new PropSubsetEq(s1, s2));
        }
    }

View Full Code Here

Examples of solver.variables.SetVar


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(vars[0]);


            identitymap.put(this, new PropNotEmpty(S));
        }
    }

View Full Code Here

Examples of solver.variables.SetVar


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar s1 = (SetVar) identitymap.get(vars[0]);


            vars[1].duplicate(solver, identitymap);
            SetVar s2 = (SetVar) identitymap.get(vars[1]);


            identitymap.put(this, new PropOffSet(s1, s2, offSet));
        }
    }

View Full Code Here

Examples of solver.variables.SetVar

                case Variable.REAL:
                    RealVar r = (RealVar) vars[i];
                    realmap.put(r, new double[]{r.getLB(), r.getUB()});
                    break;
                case Variable.SET:
                    SetVar s = (SetVar) vars[i];
                    setmap.put(s, s.getValues());
                    break;
            }
        }
    }

View Full Code Here

Examples of solver.variables.SetVar

    public void init() throws ContradictionException {
    }


    @Override
    public Decision<SetVar> getDecision() {
        SetVar variable = varSelector.getVariable(vars);
        return computeDecision(variable);
    }

View Full Code Here

0 1 2 3 4

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.