Package memory

Examples of memory.IEnvironment.makeInt()

50
51
52
53
54
55
56
57
58
59
60
    public AntiDomInterval(IntVar A) {
        IEnvironment env = A.getSolver().getEnvironment();

        lbidx = env.makeInt(-1);
        ubidx = env.makeInt(-1);
        initLB = A.getLB();
        initUB = A.getUB();
        lbs = new int[16];
        ubs = new int[16];
    }
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
        IEnvironment env = vars[0].getSolver().getEnvironment();
        for (int i = 0; i < variables.length; i++) {
            variables[i].addMonitor(this);
            Propagator[] props = variables[i].getPropagators();
            for (int j = 0; j < props.length; j++) {
                pid2ari.putIfAbsent(props[j].getId(), env.makeInt(props[j].arity()));
            }
        }
    }

View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
        IEnvironment env = solver.getEnvironment();
        this.LENGTH = sortedValues.length;
        this.values = sortedValues.clone();
        this.indexes = env.makeBitSet(LENGTH);
        this.indexes.set(0, LENGTH);
        this.LB = env.makeInt(0);
        this.UB = env.makeInt(LENGTH - 1);
        this.SIZE = env.makeInt(LENGTH);
    }

    ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
        this.LENGTH = sortedValues.length;
        this.values = sortedValues.clone();
        this.indexes = env.makeBitSet(LENGTH);
        this.indexes.set(0, LENGTH);
        this.LB = env.makeInt(0);
        this.UB = env.makeInt(LENGTH - 1);
        this.SIZE = env.makeInt(LENGTH);
    }

    ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
    ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
        this.values = sortedValues.clone();
        this.indexes = env.makeBitSet(LENGTH);
        this.indexes.set(0, LENGTH);
        this.LB = env.makeInt(0);
        this.UB = env.makeInt(LENGTH - 1);
        this.SIZE = env.makeInt(LENGTH);
    }

    ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
    ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.