codac
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"
18 #include "codac_IntervalVector.h"
19 
20 namespace codac
21 {
26  class CtcCN : public Ctc
27  {
28  public:
35 
40  void contract(IntervalVector& x);
41 
42 
43  private:
44 
45  ContractorNetwork& m_cn;
46  IntervalVectorVar& m_box_var;
47  };
48 }
49 
50 #endif //__CODAC_CTCCN_H__
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
CtcCN(ContractorNetwork &cn, IntervalVectorVar &box)
Creates the CtcCN contractor.
void contract(IntervalVector &x)
Contracts.
static contractor on a contractor network object
Definition: codac_CtcCN.h:26
Graph of contractors and domains that model a problem in the constraint programming framework...
Definition: codac_ContractorNetwork.h:48
todo
Definition: codac_Variable.h:53