Searched refs:nbinconst (Results 1 – 1 of 1) sorted by relevance
1135 …int nbinconst; /**< The number of binary constraints added to the base … member1168 statistics->nbinconst = 0; in statisticsInit()1270 statistics->nbinconst, statistics->nbinconstvio); in statisticsPrint()3159 statistics->nbinconst += nconsadded; in applyBinaryConstraints()