codac 1.5.6
|
#include "ibex_Interval.h"
Go to the source code of this file.
Namespaces | |
namespace | codac |
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set. | |