使用Java API的无符号整数

Question

我正在使用Z3的Java API，我需要定义很自然的整数变量，即它们的值不能为负数。如何使用java API在z3中定义自然数据类型？

Answer 1

这取决于Java的版本。在Java之前，您必须使用较大的基元来滚动自己的类型，这样您就可以在所需的位长上表示无符号值的整个范围。

这（可能）需要做你自己的两个补码数学。

Java 8有一个新的无符号整数API，它提供了一种以真正无符号方式操作值的更简单方法。请参阅API docs for Integer。