lexmin: make sure le set in partial order only contains the required elements
commit3c6174a4dfeb6e184224fd47e39adeef2f5a7160
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 7 Dec 2006 12:02:10 +0000 (7 13:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Dec 2006 08:36:54 +0000 (11 09:36 +0100)
treedf4294a8ef0626c778745cb336e6ab9992dc724f
parenteacdca9a09139a33e4e614e2c941f28691d53afb
lexmin: make sure le set in partial order only contains the required elements
lexmin.cc