Generated on Fri Oct 19 11:26:02 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Relax Class Reference

Class for posting equalities for non-relaxed variables. More...

List of all members.

Public Member Functions

ExecStatus operator() (Home home, IntVar x, IntVar sx)
 Post the actual equality for non-relaxed variables.
ExecStatus operator() (Home home, BoolVar x, BoolVar sx)
 Post the actual equality for non-relaxed variables.

Detailed Description

Class for posting equalities for non-relaxed variables.

Definition at line 40 of file relax.cpp.


Member Function Documentation

ExecStatus Gecode::Int::Relax::operator() ( Home  home,
IntVar  x,
IntVar  sx 
) [inline]

Post the actual equality for non-relaxed variables.

Definition at line 49 of file relax.cpp.

ExecStatus Gecode::Int::Relax::operator() ( Home  home,
BoolVar  x,
BoolVar  sx 
) [inline]

Post the actual equality for non-relaxed variables.

Definition at line 55 of file relax.cpp.


The documentation for this class was generated from the following file: