mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Added finite-domain constant to Z3_decl_kind
This commit is contained in:
parent
5a43d8a469
commit
5510e0ddef
|
@ -1098,6 +1098,7 @@ extern "C" {
|
|||
case datalog::OP_RA_COMPLEMENT: return Z3_OP_RA_COMPLEMENT;
|
||||
case datalog::OP_RA_SELECT: return Z3_OP_RA_SELECT;
|
||||
case datalog::OP_RA_CLONE: return Z3_OP_RA_CLONE;
|
||||
case datalog::OP_DL_CONSTANT: return Z3_OP_FD_CONSTANT;
|
||||
case datalog::OP_DL_LT: return Z3_OP_FD_LT;
|
||||
default:
|
||||
UNREACHABLE();
|
||||
|
|
|
@ -1155,6 +1155,7 @@ typedef enum {
|
|||
Z3_OP_RA_COMPLEMENT,
|
||||
Z3_OP_RA_SELECT,
|
||||
Z3_OP_RA_CLONE,
|
||||
Z3_OP_FD_CONSTANT,
|
||||
Z3_OP_FD_LT,
|
||||
|
||||
// Auxiliary
|
||||
|
|
Loading…
Reference in a new issue