Searched refs:OverlapEnd (Results 1 – 2 of 2) sorted by relevance
88 OverlapEnd(Context.int_const("OverlapEnd")), in RandomFunctionGenerator()105 addBoundsAndAnchors(OverlapBegin, OverlapEnd); in RandomFunctionGenerator()114 Solver.add(OverlapEnd == LoopBegin); in RandomFunctionGenerator()124 Solver.add(OverlapEnd <= kMaxOverlapSize + 1); in RandomFunctionGenerator()127 Solver.add(OverlapBegin == OverlapEnd || OverlapBegin >= 2); in RandomFunctionGenerator()221 R.Overlap = As<Overlap>(E(OverlapBegin), E(OverlapEnd)); in next()233 (OverlapBegin == E(OverlapBegin)) && (OverlapEnd == E(OverlapEnd)) && in next()
51 z3::expr OverlapBegin, OverlapEnd; member