diff options
author | Tim King <taking@cs.nyu.edu> | 2010-02-04 21:03:07 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-02-04 21:03:07 +0000 |
commit | a34b66437f97f66d9dcd1caa0919f66cf316e238 (patch) | |
tree | 3c3b8fc01cbc6ac4e97a45de16218d120ca3cca8 /src/theory/interrupted.h | |
parent | c6f86de8077f667ab2b2e9aac53d60d93ea2da93 (diff) |
Changed mapping from atoms to literals in the prop engine to be atoms to vars.
Diffstat (limited to 'src/theory/interrupted.h')
0 files changed, 0 insertions, 0 deletions