Add AssumeDual method.
authorTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:51:00 +0000 (21:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:51:00 +0000 (21:51 +0000)
commit5b9b066aebcb0892ac9d0265ac7b2e68429dad3f
treec883b908d0bda3febcf415a5f21430566dba6f09
parent915c351496116469a612cf44b0846447cb820cae
Add AssumeDual method.

llvm-svn: 76798
clang/include/clang/Analysis/PathSensitive/ConstraintManager.h