diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-08-22 18:04:10 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-08-22 18:04:10 +0000 |
| commit | f3682605175f1deb62f5390c5e39ccfba0b170fd (patch) | |
| tree | 22a5bcc4024e701f3ae2b9a69157a1d9c78fb323 /src/theory/valuation.cpp | |
| parent | c2fa4e991c3ba17857019da9becd185e90cc0ee0 (diff) | |
More progress on array constants.
Here's a fun way to give yourself a week-long headache: try to figure out how
to write efficient code to normalize array constants.
It's mostly there now - just need to figure out how to use type enumerators and
update once the new cardinality stuff is in place.
Diffstat (limited to 'src/theory/valuation.cpp')
0 files changed, 0 insertions, 0 deletions