codac 1.5.6
Loading...
Searching...
No Matches
codac_CtcCN.h
Go to the documentation of this file.
1
12#ifndef __CODAC_CTCCN_H__
13#define __CODAC_CTCCN_H__
14
15#include "codac_Ctc.h"
17#include "codac_Interval.h"
19
20namespace codac
21{
26 class CtcCN : public Ctc
27 {
28 public:
35
40 void contract(IntervalVector& x);
41
42
43 private:
44
46 IntervalVectorVar& m_box_var;
47 };
48}
49
50#endif //__CODAC_CTCCN_H__
Graph of contractors and domains that model a problem in the constraint programming framework....
Definition codac_ContractorNetwork.h:49
static contractor on a contractor network object
Definition codac_CtcCN.h:27
void contract(IntervalVector &x)
Contracts.
CtcCN(ContractorNetwork &cn, IntervalVectorVar &box)
Creates the CtcCN contractor.
todo
Definition codac_Variable.h:54
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9