CArExpression (org.choco-solver-choco-solver 4.0.7 API)

All Known Subinterfaces:

RealVar

All Known Implementing Classes:

BiCArExpression, FixedRealVarImpl, RealVarImpl, RealView, UnCArExpression
```
public interface CArExpression
```
arithmetic expression over reals
Project: choco-solver.

Since:

28/04/2016.

Author:

Charles Prud'homme

Nested Class Summary

Nested Classes
Modifier and Type Interface and Description

static class CArExpression.Operator
List of available operator for arithmetic expression

Nested Classes
Modifier and Type	Interface and Description
`static class`	`CArExpression.Operator` List of available operator for arithmetic expression

Field Summary

Fields
Modifier and Type Field and Description

static CArExpression[] NO_CHILD
A default empty array

Fields
Modifier and Type	Field and Description
`static CArExpression[]`	`NO_CHILD` A default empty array

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`default CArExpression`	`abs()`
`default CArExpression`	`acos()`
`default CArExpression`	`acosh()`
`default CArExpression`	`add(CArExpression y)`
`default CArExpression`	`add(double y)`
`default CArExpression`	`asin()`
`default CArExpression`	`asinh()`
`default CArExpression`	`atan()`
`default CArExpression`	`atan2(CArExpression y)`
`default CArExpression`	`atan2(double y)`
`default CArExpression`	`atanh()`
`default CArExpression`	`cos()`
`default CArExpression`	`cosh()`
`default CArExpression`	`div(CArExpression y)`
`default CArExpression`	`div(double y)`
`default CReExpression`	`eq(CArExpression y)`
`default CReExpression`	`eq(double y)`
`default CArExpression`	`exp()`
`default CReExpression`	`ge(CArExpression y)`
`default CReExpression`	`ge(double y)`
`Model`	`getModel()` Return the associated model
`default CReExpression`	`gt(CArExpression y)`
`default CReExpression`	`gt(double y)`
`default CReExpression`	`le(CArExpression y)`
`default CReExpression`	`le(double y)`
`default CArExpression`	`ln()`
`default CReExpression`	`lt(CArExpression y)`
`default CReExpression`	`lt(double y)`
`default CArExpression`	`max(CArExpression y)`
`default CArExpression`	`max(double y)`
`default CArExpression`	`min(CArExpression y)`
`default CArExpression`	`min(double y)`
`default CArExpression`	`mul(CArExpression y)`
`default CArExpression`	`mul(double y)`
`default CArExpression`	`neg()`
`default CArExpression`	`pow(CArExpression y)`
`default CArExpression`	`pow(double y)`
`RealVar`	`realVar(double precision)`
`default CArExpression`	`sin()`
`default CArExpression`	`sinh()`
`default CArExpression`	`sqrt()`
`default CArExpression`	`sub(CArExpression y)`
`default CArExpression`	`sub(double y)`
`default CArExpression`	`tan()`
`default CArExpression`	`tanh()`

- Field Detail
  - NO_CHILD
```
static final CArExpression[] NO_CHILD
```
    A default empty array
- Method Detail
  - getModel
```
Model getModel()
```
    Return the associated model
    
    Returns:
    
    a Model object
  - realVar
```
RealVar realVar(double precision)
```
    Parameters:
    
    precision - precision of the variable to return
    
    Returns:
    
    the arithmetic expression as an RealVar. If necessary, it creates intermediary variable and posts intermediary constraints
  - neg
```
default CArExpression neg()
```
    Returns:
    
    return the expression "-x" where this is "x"
  - abs
```
default CArExpression abs()
```
    Returns:
    
    return the expression "|x|" where this is "x"
  - add
```
default CArExpression add(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x + y" where this is "x"
  - add
```
default CArExpression add(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x + y" where this is "x"
  - sub
```
default CArExpression sub(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x - y" where this is "x"
  - sub
```
default CArExpression sub(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x - y" where this is "x"
  - mul
```
default CArExpression mul(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x * y" where this is "x"
  - mul
```
default CArExpression mul(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x * y" where this is "x"
  - div
```
default CArExpression div(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x / y" where this is "x"
  - div
```
default CArExpression div(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x / y" where this is "x"
  - pow
```
default CArExpression pow(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x + y" where this is "x"
  - pow
```
default CArExpression pow(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x + y" where this is "x"
  - min
```
default CArExpression min(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "min(x, y)" where this is "x"
  - min
```
default CArExpression min(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "min(x, y)" where this is "x"
  - max
```
default CArExpression max(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "max(x, y)" where this is "x"
  - max
```
default CArExpression max(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "max(x, y)" where this is "x"
  - atan2
```
default CArExpression atan2(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "atan2(x, y)" where this is "x"
  - atan2
```
default CArExpression atan2(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "atan2(x, y)" where this is "x"
  - exp
```
default CArExpression exp()
```
    Returns:
    
    return the expression "exp(x)" where this is "x"
  - ln
```
default CArExpression ln()
```
    Returns:
    
    return the expression "ln(x)" where this is "x"
  - sqrt
```
default CArExpression sqrt()
```
    Returns:
    
    return the expression "sqrt(x)" where this is "x"
  - cos
```
default CArExpression cos()
```
    Returns:
    
    return the expression "cos(x)" where this is "x"
  - sin
```
default CArExpression sin()
```
    Returns:
    
    return the expression "sin(x)" where this is "x"
  - tan
```
default CArExpression tan()
```
    Returns:
    
    return the expression "tan(x)" where this is "x"
  - acos
```
default CArExpression acos()
```
    Returns:
    
    return the expression "acos(x)" where this is "x"
  - asin
```
default CArExpression asin()
```
    Returns:
    
    return the expression "asin(x)" where this is "x"
  - atan
```
default CArExpression atan()
```
    Returns:
    
    return the expression "atan(x)" where this is "x"
  - cosh
```
default CArExpression cosh()
```
    Returns:
    
    return the expression "cosh(x)" where this is "x"
  - sinh
```
default CArExpression sinh()
```
    Returns:
    
    return the expression "sinh(x)" where this is "x"
  - tanh
```
default CArExpression tanh()
```
    Returns:
    
    return the expression "tanh(x)" where this is "x"
  - acosh
```
default CArExpression acosh()
```
    Returns:
    
    return the expression "acosh(x)" where this is "x"
  - asinh
```
default CArExpression asinh()
```
    Returns:
    
    return the expression "asinh(x)" where this is "x"
  - atanh
```
default CArExpression atanh()
```
    Returns:
    
    return the expression "atanh(x)" where this is "x"
  - lt
```
default CReExpression lt(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x < y" where this is "x"
  - lt
```
default CReExpression lt(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x < y" where this is "x"
  - le
```
default CReExpression le(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x <= y" where this is "x"
  - le
```
default CReExpression le(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x <= y" where this is "x"
  - gt
```
default CReExpression gt(double y)
```
    Parameters:
    
    y - an ibt
    
    Returns:
    
    return the expression "x > y" where this is "x"
  - gt
```
default CReExpression gt(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x > y" where this is "x"
  - ge
```
default CReExpression ge(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x >= y" where this is "x"
  - ge
```
default CReExpression ge(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x >= y" where this is "x"
  - eq
```
default CReExpression eq(double y)
```
    Parameters:
    
    y - a double
    
    Returns:
    
    return the expression "x = y" where this is "x"
  - eq
```
default CReExpression eq(CArExpression y)
```
    Parameters:
    
    y - an expression
    
    Returns:
    
    return the expression "x = y" where this is "x"

Interface CArExpression

Nested Class Summary

Field Summary

Method Summary

Field Detail

NO_CHILD

Method Detail

getModel

realVar

neg

abs

add

add

sub

sub

mul

mul

div

div

pow

pow

min

min

max

max

atan2

atan2

exp

ln

sqrt

cos

sin

tan

acos

asin

atan

cosh

sinh

tanh

acosh

asinh

atanh

lt

lt

le

le

gt

gt

ge

ge

eq

eq