Examples of solver.constraints.PropagatorPriority

                    } else if (Configuration.PRINT_SCHEDULE) {
                        Trace.printAlreadySchedule(prop);
                    }
                }
                if (!schedule_f[aid]) {
                    PropagatorPriority prio = prop.getPriority();
                    int q = match_f[prio.priority - 1];
                    pro_queue_f[q].addLast(prop);
                    schedule_f[aid] = true;
                    notEmpty = notEmpty | (1 << q);
                }


    @Override
    public void delayedPropagation(Propagator propagator, PropagatorEventType type) throws ContradictionException {
        int aid = p2i.get(propagator.getId());
        if (!schedule_c[aid]) {
            PropagatorPriority prio = /*dynamic ? prop.dynPriority() :*/ propagator.getPriority();
            int q = match_c[prio.priority - 1];
            if (q == -1) throw new SolverException("Cannot schedule coarse event for low priority propagator.");
            pro_queue_c[q].addLast(propagator);
            schedule_c[aid] = true;
            event_c[aid] = type;

Related Classes of solver.constraints.PropagatorPriority

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.