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