We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
So far we have util::mk_str_var_fresh and theory_str_noodler::mk_str_var_fresh with the same semantics. We should unify them.
util::mk_str_var_fresh
theory_str_noodler::mk_str_var_fresh
The text was updated successfully, but these errors were encountered:
I think they all - except the one creating fresh BasicTerm vars - should be in theory_str_noodler (also mk_int_var_fresh, mk_int_var, mk_str_var).
BasicTerm
theory_str_noodler
mk_int_var_fresh
mk_int_var
mk_str_var
Sorry, something went wrong.
I moved them into theory_str_noodler in #160. Should we close this issue?
Sure
No branches or pull requests
So far we have
util::mk_str_var_fresh
andtheory_str_noodler::mk_str_var_fresh
with the same semantics. We should unify them.The text was updated successfully, but these errors were encountered: