choco.cp.solver.constraints.real.exp
Class RealPlus
java.lang.Object
choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
choco.cp.solver.constraints.real.exp.RealPlus
- All Implemented Interfaces:
- IPretty, RealExp, Domain, RealInterval
public final class RealPlus
- extends AbstractRealBinTerm
An expression modelling a real addition.
Method Summary |
String |
pretty()
pretty printing of the object. |
void |
project()
Projects domain reduction on operands according to the expression
domain itself (due to constraint restrictions). |
void |
tighten()
Tightens the expression to find the smallest interval containing values
the expression can equal according to operand domains. |
RealPlus
public RealPlus(Solver solver,
RealExp exp1,
RealExp exp2)
- Builds an addition expression for real constraint modelling.
- Parameters:
solver
- is the current modelexp1
- is the first expression operandexp2
- is the second expression operand
pretty
public String pretty()
- Description copied from interface:
IPretty
- pretty printing of the object. This String is not constant and may depend on the context.
- Specified by:
pretty
in interface IPretty
- Overrides:
pretty
in class AbstractRealCompoundTerm
- Returns:
- a readable string representation of the object
tighten
public void tighten()
- Tightens the expression to find the smallest interval containing values
the expression can equal according to operand domains.
project
public void project()
throws ContradictionException
- Projects domain reduction on operands according to the expression
domain itself (due to constraint restrictions).
- Throws:
ContradictionException
- if a domain becomes empty
Copyright © 2012. All Rights Reserved.