Z3中的位向量表达式扩展
我有一个32位的向量表达式。不知何故，我想对这个表达式进行有符号或无符号扩展，将其扩展到64位向量。是否有我可以使用的API？用于符号扩展：Z3中的位向量表达式扩展,z3,Z3,我有一个32位的向量表达式。不知何故，我想对这个表达式进行有符号或无符号扩展，将其扩展到64位向量。是否有我可以使用的API？用于符号扩展： Z3_ast Z3_API Z3_mk_sign_ext（uu在Z3_上下文c中，u在无符号i中，u在Z3_ast t1中）； 对于未签名的扩展名： Z3_ast Z3_API Z3_mk_zero_ext（uu在Z3_上下文c中，u在无符号i中，u在Z3_ast t1中） Python、C#、Java的绑定中也提供了这些函数
Z3_ast Z3_API Z3_mk_sign_ext（uu在Z3_上下文c中，u在无符号i中，u在Z3_ast t1中）；
Z3_ast Z3_API Z3_mk_zero_ext（uu在Z3_上下文c中，u在无符号i中，u在Z3_ast t1中）
Python、C#、Java的绑定中也提供了这些函数