org.chocosolver.solver.search.limits.NodeCounter Maven / Gradle / Ivy
/*
* This file is part of choco-solver, http://choco-solver.org/
*
* Copyright (c) 2022, IMT Atlantique. All rights reserved.
*
* Licensed under the BSD 4-clause license.
*
* See LICENSE file in the project root for full license information.
*/
package org.chocosolver.solver.search.limits;
import org.chocosolver.solver.Model;
import org.chocosolver.solver.search.measure.IMeasures;
/**
* Set a limit over the number of nodes opened allowed during the search.
* When this limit is reached, the search loop is informed and the resolution is stopped.
*
*
* @author Charles Prud'homme
* @since 15 juil. 2010
*/
public final class NodeCounter extends ACounter {
public NodeCounter(Model model, long nodelimit) {
this(model.getSolver().getMeasures(), nodelimit);
}
public NodeCounter(IMeasures measures, long nodelimit) {
super(measures, nodelimit);
}
@Override
public long currentValue() {
return measures.getNodeCount();
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy