Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.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 1068 of file float.hh.