#include "codac_DynCtc.h"
#include "codac_Slice.h"
#include "codac2_Tube.h"

Include dependency graph for codac_CtcDeriv.h:

This graph shows which files directly or indirectly include this file:

Classes
class	codac::CtcDeriv
	\(\mathcal{C}_{\frac{d}{dt}}\) that contracts a tube \([x](\cdot)\) with respect to its derivative tube \([v](\cdot)\) according to the constraint \(\dot{x}(\cdot)=v(\cdot)\) 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

CtcDeriv class

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