假设我有这样一个IEnumerable<IEnumerable<object>>的数据结构: { A, B } { Z }其中外部数组可以包含任意数量的内部数组内部数组可以独立地包含任意数量的元素。为了简单起见,假设没有任何数组是空的。我想把它转换成这样的IEnumerable<IEnumerable<ob
我想知道我的z3应用程序应该使用什么数据类型。我的理解是,类整数数组数据结构的唯一选项是IntSort()、IntSort()和IntVector()。我认为数组过于夸张的原因是:每个数组元素只写一次,我没有做任何像Store((Store(X, y, z1)), y, z2)那样的事情。此外,每个数组都有一个预定义的<