[PPL-devel] [GIT] ppl/ppl(master): Set the validity bits.
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 5 21:25:15 CEST 2012
Module: ppl/ppl
Branch: master
Commit: a4ff3e5f5be1452c9f476eb184bef9a200f37475
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ff3e5f5be1452c9f476eb184bef9a200f37475
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 5 21:24:47 2012 +0200
Set the validity bits.
---
tests/PIP_Problem/bug1.dat | 76 ++++++++++++++++++++++----------------------
1 files changed, 38 insertions(+), 38 deletions(-)
diff --git a/tests/PIP_Problem/bug1.dat b/tests/PIP_Problem/bug1.dat
index d082a99..4bcd823 100644
--- a/tests/PIP_Problem/bug1.dat
+++ b/tests/PIP_Problem/bug1.dat
@@ -4,81 +4,81 @@ internal_space_dim: 0
input_cs( 38 )
size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
-f -RPI_V -RPI -NNC_V -NNC
+f +RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0
-f -RPI_V -RPI -NNC_V -NNC
+f +RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 0 0 0 0 0 -1620 0 0
-0 0 0 0 f -RPI_V -RPI -NNC_V -NNC
+0 0 0 0 f +RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 0
-0 0 0 0 f -RPI_V -RPI -NNC_V -NNC
+0 0 0 0 f +RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V -RPI -NNC_V -NNC
++RPI_V -RPI +NNC_V -NNC
size 33 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 6480 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 162 0 1 0 9 0 0 0 0 0 0 0 0 0
-0 0 0 0 f -RPI_V +RPI -NNC_V -NNC
+0 0 0 0 f +RPI_V +RPI +NNC_V -NNC
size 33 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 8 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 17 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f
--RPI_V +RPI -NNC_V -NNC
++RPI_V +RPI +NNC_V -NNC
first_pending_constraint: 0
More information about the PPL-devel
mailing list