#include <map>
#include <list>
#include "codac_DynamicalItem.h"
#include "codac_TFunction.h"
#include "codac_traj_arithmetic.h"
Go to the source code of this file.
|
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.
|
|
Trajectory 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).