Searched refs:ContiguousBegin (Results 1 – 2 of 2) sorted by relevance
85 ContiguousBegin(Context.int_const("ContiguousBegin")), in RandomFunctionGenerator()104 addBoundsAndAnchors(ContiguousBegin, ContiguousEnd); in RandomFunctionGenerator()119 Solver.add(ContiguousBegin == 0); in RandomFunctionGenerator()220 R.Contiguous = As<Contiguous>(E(ContiguousBegin), E(ContiguousEnd)); in next()231 (Type == E(Type)) && (ContiguousBegin == E(ContiguousBegin)) && in next()
50 z3::expr ContiguousBegin, ContiguousEnd; member