codac_ContractorNetwork.h File Reference

#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
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

ContractorNetwork class

Date

2020

Author

Simon Rohou

Copyright

Copyright 2021 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).