Searched refs:diffAllow (Results 1 – 1 of 1) sorted by relevance
474 int diffAllow = options::sygusPbeMultiFairDiff(); in constructCandidates() local482 if (!options::sygusPbeMultiFair() || diff <= diffAllow) in constructCandidates()