projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fc7cca) | patch
add pruneRedundantIntervals (#5950)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 22 Feb 2021 14:44:44 +0000 (15:44 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Feb 2021 14:44:44 +0000 (15:44 +0100)
commitc0fa8343a5055b0923a97356f8179a9d81a3acd1
treeec09ded333c005dce47e5dd4b855ccd38a8cae67tree
parent0fc7cca0af4885b9636b9bc8c3b4773cbd2b929fcommit | diff
add pruneRedundantIntervals (#5950)

Adds a simple helper for CAD to prune redundant intervals. It is just a wrapper for cleanIntervals right now, but will be responsible to making sure the CAD proof is pruned as well.
src/theory/arith/nl/cad/cdcac.cpp diff | blob | history
src/theory/arith/nl/cad/cdcac.h diff | blob | history