lexmin: indicator::combine: directly add some known order relations
commit80186b254d40ecc0ae95ab9d91bba3ab4f3fb383
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Nov 2006 20:24:24 +0000 (20 21:24 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Dec 2006 08:24:56 +0000 (11 09:24 +0100)
tree82c09c51dee95b1c90b1707679d4c508ae3f255c
parent0d388fa4196ffc95e17296c6e9a5b123dcbf72ff
lexmin: indicator::combine: directly add some known order relations
lexmin.cc