#include "codac_Ctc.h"
#include "codac_DynCtc.h"
#include "codac_Domain.h"

Include dependency graph for codac_CtcStatic.h:

Classes
class	codac::CtcStatic
	Generic static \(\mathcal{C}\) that contracts a tube \([\mathbf{x}](\cdot)\) with some IBEX contractor (for boxes, possibly including time). The contractor will be applied on each slice and gate. More...

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.

Detailed Description

CtcStatic class

License: This program is distributed under the terms of: the GNU Lesser General Public License (LGPL).