org.chocosolver.solver.expression.continuous.relational.CReExpression Maven / Gradle / Ivy
Show all versions of choco-solver Show documentation
/*
* This file is part of choco-solver, http://choco-solver.org/
*
* Copyright (c) 2023, 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.expression.continuous.relational;
import org.chocosolver.solver.constraints.Constraint;
import org.chocosolver.solver.variables.BoolVar;
/**
* relational expression over continuous variables
*
* Project: choco-solver.
*
* @author Charles Prud'homme
* @since 28/04/2016.
*/
public interface CReExpression {
/**
* List of available operator for relational expression
*/
enum Operator {
/**
* less than
*/
LT {
},
/**
* less than or equal to
*/
LE {
},
/**
* greater than
*/
GE {
},
/**
* greater than or equal to
*/
GT {
},
/**
* equal to
*/
EQ {
},
}
/**
* @param p the precision to consider when creating intermediate variable is needed
* @return the topmost constraint representing the expression. If needed, a call to this method
* creates additional variables and posts additional constraints.
*/
Constraint ibex(double p);
Constraint equation();
/**
* Posts this as an equation, ie calling {@link #equation()} first
* and {@link Constraint#post()}.
*/
default void post(){
equation().post();
}
/**
* Reifies this as an equation, ie calling {@link #equation()} first
* and {@link Constraint#reify()}.
*/
default BoolVar reify() {
return equation().reify();
}
/**
* Reifies this as an equation, ie calling {@link #equation()} first
* and {@link Constraint#reifyWith(BoolVar)}.
*/
default void reifyWith(BoolVar bool) {
equation().reifyWith(bool);
}
}