Use cvector also in sparse multiplication.
authorFrancesco Biscani <bluescarni@gmail.com>
Thu, 26 Aug 2010 20:20:55 +0000 (22:20 +0200)
committerFrancesco Biscani <bluescarni@gmail.com>
Thu, 26 Aug 2010 20:20:55 +0000 (22:20 +0200)
commitf82ff62f7e78410a2022e9fefbe553cfc17aea92
treeebcd21d3625b7f50465d09c4cc91fbd1989626a3
parentc5095439d77e61761ec44c72f67f0237f1ddd92f
Use cvector also in sparse multiplication.
src/core/coded_hash_table.h
src/core/cvector.h