Searched defs:diffidx0minus1 (Results 1 – 1 of 1) sorted by relevance
12683 …int* diffidx0minus1, /**< array with indices of variables in cons0, that don'… in aggregateConstraints()13394 int* diffidx0minus1; in preprocessConstraintPairs() local