| 802 | } |
| 803 | |
| 804 | expr AggregateType::numElementsExcludingPadding() const { |
| 805 | auto elems = numElements(); |
| 806 | return numElements() - expr::mkInt(numPaddingsConst(), elems); |
| 807 | } |
| 808 | |
| 809 | StateValue AggregateType::aggregateVals(const vector<StateValue> &vals) const { |
| 810 | assert(vals.size() + numPaddingsConst() == elements); |