3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-01 17:03:18 +00:00

euf::theory_var is int

This commit is contained in:
Jakob Rath 2024-02-07 15:21:47 +01:00
parent f0b0ce401e
commit cbcb5ad92d

View file

@ -21,7 +21,7 @@ namespace polysat {
using pdd = dd::pdd; using pdd = dd::pdd;
using pvar = unsigned; using pvar = unsigned;
using theory_var = unsigned; using theory_var = int;
struct constraint_id { struct constraint_id {
unsigned id = UINT_MAX; unsigned id = UINT_MAX;
bool is_null() const { return id == UINT_MAX; } bool is_null() const { return id == UINT_MAX; }