Examples of solver.propagation.PropagationTrigger

solver.propagation.PropagationTrigger
A specific propagation engine for initial propagation and dynamic addition of propagators during the resolution.
It handles three different types of constraints: - constraints posted before solving the problem, - permanent constraints posted once the resolution has begun, - temporary constraints (removed upon backtrack) posted once the resolution has begun. @author Charles Prud'homme @since 15/12/12

    final PropagationTrigger trigger; // an object that starts the propagation


    public TwoBucketPropagationEngine(Solver solver) {
        this.exception = new ContradictionException();
        this.environment = solver.getEnvironment();
        this.trigger = new PropagationTrigger(this, solver);


        variables = solver.getVars();
        List<Propagator> _propagators = new ArrayList<>();
        Constraint[] constraints = solver.getCstrs();
        int nbProp = 0;

View Full Code Here




    public SevenQueuesPropagatorEngine(Solver solver) {
        this.exception = new ContradictionException();
        this.environment = solver.getEnvironment();
        this.trigger = new PropagationTrigger(this, solver);


        variables = solver.getVars();
        List<Propagator> _propagators = new ArrayList<>();
        Constraint[] constraints = solver.getCstrs();
        int nbProp = 0;

View Full Code Here

TOP

Related Classes of solver.propagation.PropagationTrigger

solver.propagation.hardcoded.SevenQueuesPropagatorEngine

solver.propagation.hardcoded.TwoBucketPropagationEngine

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.