12#ifndef __CODAC_CTCCN_H__
13#define __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