Searched refs:AcceleratorBegin (Results 1 – 2 of 2) sorted by relevance
97 AcceleratorBegin(Context.int_const("AcceleratorBegin")), in RandomFunctionGenerator()108 addBoundsAndAnchors(AcceleratorBegin, AcceleratorEnd); in RandomFunctionGenerator()116 Solver.add(AlignedLoopEnd == AcceleratorBegin); in RandomFunctionGenerator()145 (AcceleratorBegin == in RandomFunctionGenerator()155 Solver.add(AcceleratorBegin == AcceleratorEnd); in RandomFunctionGenerator()226 R.Accelerator = As<Accelerator>(E(AcceleratorBegin), E(AcceleratorEnd)); in next()241 (AcceleratorBegin == E(AcceleratorBegin)) && in next()
55 z3::expr AcceleratorBegin, AcceleratorEnd; member