org.chocosolver.solver.Cause Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of choco-solver Show documentation
Show all versions of choco-solver Show documentation
Open-source constraint solver.
/*
* This file is part of choco-solver, http://choco-solver.org/
*
* Copyright (c) 2020, 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;
import org.chocosolver.solver.learn.ExplanationForSignedClause;
import org.chocosolver.solver.variables.IntVar;
import java.util.function.Consumer;
/**
*
*
* @author Charles Prud'homme
* @since 26/08/11
*/
public enum Cause implements ICause {
Null{
@Override
public void explain(int pivot, ExplanationForSignedClause explanation) {
}
@Override
public void forEachIntVar(Consumer action) {
}
}
}