diff options
| author | Marco Poletti <poletti.marco@gmail.com> | 2011-12-07 14:03:58 +0100 |
|---|---|---|
| committer | Marco Poletti <poletti.marco@gmail.com> | 2011-12-07 14:03:58 +0100 |
| commit | fbc5f334cd5fd484ee9c035bfc1d7a221cdeb8e2 (patch) | |
| tree | e15debed14aa4720264c20d11e1586023df32fc2 /tests | |
| parent | a74dd27b7a927b841897f05e42f8c650e8d6f599 (diff) | |
| download | ppl-fbc5f334cd5fd484ee9c035bfc1d7a221cdeb8e2.tar.gz ppl-fbc5f334cd5fd484ee9c035bfc1d7a221cdeb8e2.tar.bz2 ppl-fbc5f334cd5fd484ee9c035bfc1d7a221cdeb8e2.zip | |
tests/Polyhedron/linearsystem1: avoid using a low-level constructor of Constraint.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Polyhedron/linearsystem1.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tests/Polyhedron/linearsystem1.cc b/tests/Polyhedron/linearsystem1.cc index 40b82199f..7214bfc1a 100644 --- a/tests/Polyhedron/linearsystem1.cc +++ b/tests/Polyhedron/linearsystem1.cc @@ -73,10 +73,8 @@ test01() { else add_mul_assign(e, c, Variable(col - 1)); } - Constraint row(e, Constraint::RAY_OR_POINT_OR_INEQUALITY, - NOT_NECESSARILY_CLOSED); - ls1.insert(row); + ls1.insert(e > 0); using std::fstream; using std::ios_base; |