Searched refs:ElementClass (Results 1 – 4 of 4) sorted by relevance
99 ElementClass(Context.int_const("ElementClass")) { in RandomFunctionGenerator()148 Solver.add(inSetConstraint(ElementClass, kElementClasses)); in RandomFunctionGenerator()227 R.ElementClass = ElementTypeClass(E(ElementClass)); in next()243 (ElementClass == E(ElementClass)); in next()
134 ElementTypeClass ElementClass; member261 Stream << kIndent << "using namespace __llvm_libc::" << FI.ElementClass in operator <<()288 Impl.ElementClass = FD.ElementClass; in getImplementation()398 << FD.Accelerator << ',' << FD.ElementClass << '}'; in operator <<()
135 ElementTypeClass ElementClass; member138 AlignedLoop, Accelerator, ElementClass) in COMPARABLE_AND_HASHABLE()
56 z3::expr ElementClass; member