gen_fun: store terms in a set rather than in a vector
commite4412373e63f7ce547b95b2498e3b62772021530
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 1 Nov 2006 17:25:42 +0000 (1 18:25 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Dec 2006 23:13:30 +0000 (19 00:13 +0100)
tree72d24e8c5e3804b0b42e803ddbe17ab4ee89781b
parenta0cd11094f41605fdb49eb1b655bcd900a0a6254
gen_fun: store terms in a set rather than in a vector

When adding new terms, we search for an existing term with
the same denominator, which can be performed more efficiently
on a set.
barvinok/genfun.h
genfun.cc