choco.palm.real
Class PalmRealModeler

java.lang.Object
  choco.real.RealModeler
      choco.palm.real.PalmRealModeler

public class PalmRealModeler
extends RealModeler

J-CHOCO Copyright (C) F. Laburthe, 1999-2003

An open-source Constraint Programming Kernel for Research and Education

Created by: Guillaume on 24 juin 2004

Field Summary

Fields inherited from class choco.real.RealModeler

problem

Constructor Summary

PalmRealModeler(Problem pb)

Method Summary

RealExp	cos(RealExp exp) Cosinus of an expression.
RealIntervalConstant	cst(double d) Makes a constant interval from a double d ([d,d]).
RealIntervalConstant	cst(double a, double b) Makes a constant interval between two doubles [a,b].
Constraint	makeEquation(RealExp exp, RealIntervalConstant cst) Makes an equation from an expression and a constantt interval.
RealExp	minus(RealExp exp1, RealExp exp2) Substraction of two expressions.
RealExp	mult(RealExp exp1, RealExp exp2) Multiplication of two expressions.
RealExp	plus(RealExp exp1, RealExp exp2) Addition of two expressions.
RealExp	power(RealExp exp, int power) Power of an expression.
RealExp	sin(RealExp exp) Sinus of an expression.

Methods inherited from class choco.real.RealModeler

around, eq, eq, eq, geq, geq, geq, leq, leq, leq, makeRealVar, makeRealVar, makeRealVar

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PalmRealModeler

public PalmRealModeler(Problem pb)

Method Detail

makeEquation

public Constraint makeEquation(RealExp exp,
                               RealIntervalConstant cst)

Makes an equation from an expression and a constantt interval. It is used by all methods building constraints. This is useful for subclassing this modeller for another kind of problem (like PaLM).

Overrides:

makeEquation in class RealModeler

Parameters:

exp - The expression

cst - The interval this expression should be in

plus

public RealExp plus(RealExp exp1,
                    RealExp exp2)

Addition of two expressions.

Overrides:

plus in class RealModeler

minus

public RealExp minus(RealExp exp1,
                     RealExp exp2)

Substraction of two expressions.

Overrides:

minus in class RealModeler

mult

public RealExp mult(RealExp exp1,
                    RealExp exp2)

Multiplication of two expressions.

Overrides:

mult in class RealModeler

power

public RealExp power(RealExp exp,
                     int power)

Power of an expression.

Overrides:

power in class RealModeler

cos

public RealExp cos(RealExp exp)

Cosinus of an expression.

Overrides:

cos in class RealModeler

sin

public RealExp sin(RealExp exp)

Sinus of an expression.

Overrides:

sin in class RealModeler

cst

public RealIntervalConstant cst(double d)

Makes a constant interval from a double d ([d,d]).

Overrides:

cst in class RealModeler

cst

public RealIntervalConstant cst(double a,
                                double b)

Makes a constant interval between two doubles [a,b].

Overrides:

cst in class RealModeler