Searched refs:rchance_new (Results 1 – 1 of 1) sorted by relevance
690 double rchance_new = rchance + (1.0 - rchance) * rinc; in getSygusRandomValue() local697 Node c = getSygusRandomValue(tnc, rchance_new, rinc, depth + 1); in getSygusRandomValue()