diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-11 18:22:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-11 11:22:51 -0500 |
commit | 0f834b9622947ad1f6405c83a43df88c98c05c55 (patch) | |
tree | 654edff05fc2f486c72a45f015d0fe76aa784a84 /src/expr | |
parent | 9e481faf7dfce8f992ae6730ad49f6db335b6432 (diff) |
Add conversion of poly polynomial to cvc node. (#5218)
This PR adds a new utility function to convert a poly::Polynomial back to a cvc4 Node.
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions