Searched defs:nCallsRecycle (Results 1 – 4 of 4) sorted by relevance
49 int nCallsRecycle; // calls to perform before recycling SAT solver member
60 int nCallsRecycle; // calls to perform before recycling SAT solver member
48 int nCallsRecycle; // calls to perform before recycling SAT solver member