choco.cp.solver.constraints.real.exp
Class RealPlus

java.lang.Object
  extended by choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
      extended by choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
          extended by 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.


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
exp1, exp2
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
inf, solver, sup
 
Constructor Summary
RealPlus(Solver solver, RealExp exp1, RealExp exp2)
          Builds an addition expression for real constraint modelling.
 
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.
 
Methods inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
collectVars, isolate, subExps
 
Methods inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
getInf, getSolver, getSup, intersect, setSolver, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RealPlus

public RealPlus(Solver solver,
                RealExp exp1,
                RealExp exp2)
Builds an addition expression for real constraint modelling.

Parameters:
solver - is the current model
exp1 - is the first expression operand
exp2 - is the second expression operand
Method Detail

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.