Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Using float variables and constraints

Topics

 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...

Detailed Description

Enumeration Type Documentation

◆ FloatRelType

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 1074 of file float.hh.