Simple relation constraints over float variables
Functionality by programming task » Programming models » Using float variables and constraints

## Functions

void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
| Post propagator for .
void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c)
| Propagates .
void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r)
| Post propagator for .
void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r)
| Post propagator for .
void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
| Propagates for all .
void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y)
| Propagates for all .
void | Gecode::ite (Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z)
| Post propagator for if-then-else constraint.

## Detailed Description

## Function Documentation

## rel() [1/6]

void Gecode::rel | ( | Home | home,
|  | FloatVar | x0,
|  | FloatRelType | frt,
|  | FloatVar | x1 )

Post propagator for .

Definition at line 68 of file rel.cpp.

## rel() [2/6]

void Gecode::rel | ( | Home | home,
|  | FloatVar | x,
|  | FloatRelType | frt,
|  | FloatVal | c )

Propagates .

Definition at line 43 of file rel.cpp.

## rel() [3/6]

void Gecode::rel | ( | Home | home,
|  | FloatVar | x,
|  | FloatRelType | frt,
|  | FloatVal | c,
|  | Reify | r )

Post propagator for .

Definition at line 180 of file rel.cpp.

## rel() [4/6]

void Gecode::rel | ( | Home | home,
|  | FloatVar | x0,
|  | FloatRelType | frt,
|  | FloatVar | x1,
|  | Reify | r )

Post propagator for .

Definition at line 92 of file rel.cpp.

## rel() [5/6]

void Gecode::rel | ( | Home | home,
|  | const FloatVarArgs & | x,
|  | FloatRelType | frt,
|  | FloatVal | c )

Propagates for all .

Definition at line 302 of file rel.cpp.

## rel() [6/6]

void Gecode::rel | ( | Home | home,
|  | const FloatVarArgs & | x,
|  | FloatRelType | frt,
|  | FloatVar | y )

Propagates for all .

Definition at line 345 of file rel.cpp.

## ite()

void Gecode::ite | ( | Home | home,
|  | BoolVar | b,
|  | FloatVar | x,
|  | FloatVar | y,
|  | FloatVar | z )

Post propagator for if-then-else constraint.

Posts propagator for

Definition at line 39 of file bool.cpp.