projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e481fa) | patch
Add conversion of poly polynomial to cvc node. (#5218)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Sun, 11 Oct 2020 16:22:51 +0000 (18:22 +0200)
committerGitHub <noreply@github.com>
Sun, 11 Oct 2020 16:22:51 +0000 (11:22 -0500)
commit0f834b9622947ad1f6405c83a43df88c98c05c55
tree654edff05fc2f486c72a45f015d0fe76aa784a84tree
parent9e481faf7dfce8f992ae6730ad49f6db335b6432commit | 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.
src/theory/arith/nl/poly_conversion.cpp diff | blob | history
src/theory/arith/nl/poly_conversion.h diff | blob | history