#include <deque>#include <initializer_list>#include <unordered_map>#include "codac_Ctc.h"#include "codac_DynCtc.h"#include "codac_Domain.h"#include "codac_CtcDeriv.h"#include "codac_Hashcode.h"#include "codac_Contractor.h"#include "codac_Variable.h"
Include dependency graph for codac_ContractorNetwork.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | codac::ContractorNetwork |
| Graph of contractors and domains that model a problem in the constraint programming framework. Heterogeneous domains can be handled in the same network, which allows to deal with a wide variety of problems such as non-linear equations, differential systems, delays or inter-temporal equations. More... | |
Namespaces | |
| 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
ContractorNetwork class
- Date
- 2020
- Copyright
- Copyright 2021 Codac Team
- License: This program is distributed under the terms of
- the GNU Lesser General Public License (LGPL).
