#include <map>
#include <list>
#include <vector>
#include "codac_TFnc.h"
#include "codac_Slice.h"
#include "codac_Trajectory.h"
#include "codac_serialize_tubes.h"
#include "codac_tube_arithmetic.h"
#include "codac_TubeTreeSynthesis.h"
#include "codac_TubePolynomialSynthesis.h"
#include "codac_TubeSynthesis.h"
#include "codac_Polygon.h"
#include "codac_BoolInterval.h"
Go to the source code of this file.
|
class | codac::Tube |
| One dimensional tube \([x](\cdot)\), defined as an interval of scalar trajectories. More...
|
|
|
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.
|
|
Tube class
- Date
- 2015
- Author
- Simon Rohou
- Copyright
- Copyright 2021 Codac Team
- License: This program is distributed under the terms of
- the GNU Lesser General Public License (LGPL).