codac
Namespaces
codac_predef_contractors.h File Reference
#include "codac_CtcDeriv.h"
#include "codac_CtcDist.h"
#include "codac_CtcEval.h"
#include "codac_CtcDelay.h"
#include "codac_CtcChain.h"
#include "codac_CtcPolar.h"
Include dependency graph for codac_predef_contractors.h:

Go to the source code of this file.

Namespaces

 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.
 

Detailed Description

Predefined contractors (shortcuts for ease of use)

Date
2020
Author
Simon Rohou
License: This program is distributed under the terms of
the GNU Lesser General Public License (LGPL).