Searched refs:DynamicArray (Results 1 – 1 of 1) sorted by relevance
149 struct DynamicArray : ScalarSym, DynamicBound { struct150 DynamicArray( in DynamicArray() argument260 using DynamicArray = details::DynamicArray; variable268 StaticArray, DynamicArray, StaticArrayStaticChar,296 [](const DynamicArray &) { return true; }, in isArray()342 [&](const DynamicArray &x) { return x.lboundAllOnes(); }, in lboundIsAllOnes()375 return match([](const DynamicArray &x) -> A { return x.bounds; }, in dynamicBound()446 box = DynamicArray(sym, std::move(bounds)); in analyze()