84     : Solver(Context), Type(Context.int_const("Type")),  in RandomFunctionGenerator()
85       ContiguousBegin(Context.int_const("ContiguousBegin")),  in RandomFunctionGenerator()
86       ContiguousEnd(Context.int_const("ContiguousEnd")),  in RandomFunctionGenerator()
87       OverlapBegin(Context.int_const("OverlapBegin")),  in RandomFunctionGenerator()
88       OverlapEnd(Context.int_const("OverlapEnd")),  in RandomFunctionGenerator()
89       LoopBegin(Context.int_const("LoopBegin")),  in RandomFunctionGenerator()
90       LoopEnd(Context.int_const("LoopEnd")),  in RandomFunctionGenerator()
91       LoopBlockSize(Context.int_const("LoopBlockSize")),  in RandomFunctionGenerator()
92       AlignedLoopBegin(Context.int_const("AlignedLoopBegin")),  in RandomFunctionGenerator()
93       AlignedLoopEnd(Context.int_const("AlignedLoopEnd")),  in RandomFunctionGenerator()
94       AlignedLoopBlockSize(Context.int_const("AlignedLoopBlockSize")),  in RandomFunctionGenerator()
95       AlignedAlignment(Context.int_const("AlignedAlignment")),  in RandomFunctionGenerator()
96       AlignedArg(Context.int_const("AlignedArg")),  in RandomFunctionGenerator()
97       AcceleratorBegin(Context.int_const("AcceleratorBegin")),  in RandomFunctionGenerator()
98       AcceleratorEnd(Context.int_const("AcceleratorEnd")),  in RandomFunctionGenerator()
99       ElementClass(Context.int_const("ElementClass")) {  in RandomFunctionGenerator()