Examples of IntCircularQueue


Examples of util.objects.IntCircularQueue

    @SuppressWarnings({"NullableProblems"})
    @Override
    public void propagate() throws ContradictionException {
        int mask, aid;
        IntCircularQueue evtset;
        if (trigger.needToRun()) {
            trigger.propagate();
        }
        for (int i = nextNotEmpty(0); i > -1; i = nextNotEmpty(0)) {
            while (!pro_queue[i].isEmpty()) {
                lastProp = pro_queue[i].pollFirst();
                // revision of the variable
                aid = p2i.get(lastProp.getId());
                scheduled[aid] = 0;
                if (lastProp.reactToFineEvent()) {
                    evtset = eventsets[aid];
                    while (evtset.size() > 0) {
                        int v = evtset.pollFirst();
                        assert lastProp.isActive() : "propagator is not active:" + lastProp;
                        if (Configuration.PRINT_PROPAGATION) {
                            IPropagationEngine.Trace.printPropagation(lastProp.getVar(v), lastProp);
                        }
                        // clear event
View Full Code Here

Examples of util.objects.IntCircularQueue

    private Decision last; // needed to catch up the case when a subtree is closed, and this imposes the fgmt


    public PGN4Explanation(Solver solver, IntVar[] vars, long seed, int fgmtSize, int listSize) {
        super(solver, vars, seed, fgmtSize, listSize);
        queue = new IntCircularQueue(vars.length);
    }
View Full Code Here

Examples of util.objects.IntCircularQueue

    private Decision last; // needed to catch up the case when a subtree is closed, and this imposes the fgmt


    public RPGN4Explanation(Solver solver, IntVar[] vars, long seed, int fgmtSize, int listSize) {
        super(solver, vars, seed, fgmtSize, listSize);
        queue = new IntCircularQueue(vars.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.