Searched refs:ContiguousEnd (Results 1 – 2 of 2) sorted by relevance
86 ContiguousEnd(Context.int_const("ContiguousEnd")), in RandomFunctionGenerator()104 addBoundsAndAnchors(ContiguousBegin, ContiguousEnd); in RandomFunctionGenerator()113 Solver.add(ContiguousEnd == OverlapBegin); in RandomFunctionGenerator()122 Solver.add(ContiguousEnd <= kMaxIndividualSize + 1); in RandomFunctionGenerator()220 R.Contiguous = As<Contiguous>(E(ContiguousBegin), E(ContiguousEnd)); in next()232 (ContiguousEnd == E(ContiguousEnd)) && in next()
50 z3::expr ContiguousBegin, ContiguousEnd; member