Add blobs and shorthand pmt pseudo-constructors.
authorEric Blossom <eb@comsec.com>
Wed, 19 Aug 2009 05:44:05 +0000 (22:44 -0700)
committerEric Blossom <eb@comsec.com>
Wed, 19 Aug 2009 05:44:05 +0000 (22:44 -0700)
commit6213d97eba31b66f8234357c6f030124f417f74d
tree2301c62e23207a4703b92f188286d4d518c1fe07
parent4425cea2297d29f7cb90ac045b39928358cff1e4
Add blobs and shorthand pmt pseudo-constructors.

blobs == Binary Large Object.  Very handy for passing around
uninterpreted data.  The shorthand constructors were implemented by
overloading the pmt_t mp(foo) function in the pmt namespace.

I originally called "mp" "pmt", but that caused a conflict with the
pmt namespace.
gruel/src/include/gruel/Makefile.am
gruel/src/include/gruel/pmt.h
gruel/src/include/gruel/pmt_sugar.h [new file with mode: 0644]
gruel/src/lib/pmt/pmt.cc
gruel/src/lib/pmt/qa_pmt_prims.cc
gruel/src/lib/pmt/qa_pmt_prims.h