edomain.cc: EDomain::add_ge_constraint: simplify new constraint
commit34b0b803767efba91389cd43c8752382c7f77061
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 27 Nov 2006 16:51:17 +0000 (27 17:51 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Dec 2006 08:39:32 +0000 (11 09:39 +0100)
tree67c2a527b2338681038291cdc34b448dabdafd69
parentb178f3e733b89e3eb091a85820331594701ff3d8
edomain.cc: EDomain::add_ge_constraint: simplify new constraint
edomain.cc
edomain.h
lexmin.cc