Add function to query the memory usage of the BP structure.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 16:53:34 +0000 (17:53 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 16:53:34 +0000 (17:53 +0100)
commitf481ede5e31e02fad95d3d0659afb905ed9e03c9
tree337ce4925261a9816ac01527a93c1f15ad5384d1
parent071e25c710e9a48116f66ddf51bfdca25e20502b
Add function to query the memory usage of the BP structure.
src/OCamlDriver.cpp
src/bp.ml
src/bp.mli