Generated on Thu Apr 11 13:59:33 2019 for Gecode by doxygen 1.6.3

Using float variables and constraints
[Programming models]

Modules

 Variable arrays
 Domain constraints
 Simple relation constraints over float variables
 Arithmetic constraints
 Linear constraints over float variables
 Channel constraints
 Synchronized execution
 Branching on float variables

Enumerations

enum  Gecode::FloatRelType {
  Gecode::FRT_EQ, Gecode::FRT_NQ, Gecode::FRT_LQ, Gecode::FRT_LE,
  Gecode::FRT_GQ, Gecode::FRT_GR
}
 

Relation types for floats.

More...

Enumeration Type Documentation

Relation types for floats.

Enumerator:
FRT_EQ 

Equality ($=$).

FRT_NQ 

Disequality ($\neq$).

FRT_LQ 

Less or equal ($\leq$).

FRT_LE 

Less ($<$).

FRT_GQ 

Greater or equal ($\geq$).

FRT_GR 

Greater ($>$).

Definition at line 1068 of file float.hh.