#include "codac_DynCtc.h"

Include dependency graph for codac_CtcEval.h:

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

Classes
class	codac::CtcEval
	\(\mathcal{C}_\textrm{eval}\) that contracts a tube \([y](\cdot)\) with respect to its derivative tube \([w](\cdot)\) and a measurement \([t]\times[z]\) according to the constraints \(z=y(t)\) and \(\dot{y}(\cdot)=w(\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

CtcEval class

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