projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 473b375) | patch
Moving the enum ArithType to partial_model. Adding a new type Unset in the enum....
authorTim King <taking@cs.nyu.edu>
Tue, 7 Nov 2017 17:10:09 +0000 (09:10 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 17:10:09 +0000 (09:10 -0800)
commitd53203e51b75ac9ee94cbde611b21a56f1d58c37
treea970d0b27a25dac9da1583c3c3125ae4834c377btree
parent473b375e3eabefba0a59800f010befb8a4f99ea1commit | diff
Moving the enum ArithType to partial_model. Adding a new type Unset in the enum. Always initializing VarInfo::d_type. (#1333)
src/theory/arith/arith_utilities.h diff | blob | history
src/theory/arith/partial_model.cpp diff | blob | history
src/theory/arith/partial_model.h diff | blob | history