codac_Slice.h File Reference

#include "codac_Tube.h"
#include "codac_Trajectory.h"
#include "codac_DynamicalItem.h"
#include "codac_ConvexPolygon.h"
#include "codac_TubeTreeSynthesis.h"
#include "codac_BoolInterval.h"

Include dependency graph for codac_Slice.h:

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

Go to the source code of this file.

Classes
class	codac::Slice
	Slice \(\llbracket x\rrbracket(\cdot)\) of a one dimensional tube and made of an envelope and two gates. 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.

Macros
#define	EPSILON_CONTAINS   ibex::next_float(0.) * 1000.
	epsilon limit of the contains() algorithm

Detailed Description

Slice class

Date

2018

Author

Simon Rohou

Copyright

Copyright 2021 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).