diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-01-01 01:00:34 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-01-01 01:00:34 +0100 |
| commit | 464eca01325688804eb3c1f5d997c58fd5dd1b06 (patch) | |
| tree | a865e456df22d1450ead2d883d2379f1f93e138b /src | |
| parent | decf66d46f09f5c235936294409c4400f599d8bf (diff) | |
| download | ppl-464eca01325688804eb3c1f5d997c58fd5dd1b06.tar.gz ppl-464eca01325688804eb3c1f5d997c58fd5dd1b06.tar.bz2 ppl-464eca01325688804eb3c1f5d997c58fd5dd1b06.zip | |
Extended copyright years.
Diffstat (limited to 'src')
430 files changed, 431 insertions, 431 deletions
diff --git a/src/Affine_Space.cc b/src/Affine_Space.cc index d30eb8f7e..e1b9781b6 100644 --- a/src/Affine_Space.cc +++ b/src/Affine_Space.cc @@ -1,6 +1,6 @@ /* Affine_Space class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Affine_Space_defs.hh b/src/Affine_Space_defs.hh index 0323be20b..9ded42729 100644 --- a/src/Affine_Space_defs.hh +++ b/src/Affine_Space_defs.hh @@ -1,6 +1,6 @@ /* Affine_Space class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Affine_Space_inlines.hh b/src/Affine_Space_inlines.hh index b64b340fe..ad718036e 100644 --- a/src/Affine_Space_inlines.hh +++ b/src/Affine_Space_inlines.hh @@ -1,6 +1,6 @@ /* Affine_Space class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Affine_Space_types.hh b/src/Affine_Space_types.hh index 1c1c3cd4f..769c4b521 100644 --- a/src/Affine_Space_types.hh +++ b/src/Affine_Space_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Any_Pointset_defs.hh b/src/Any_Pointset_defs.hh index a26aec9c8..7cfa7f528 100644 --- a/src/Any_Pointset_defs.hh +++ b/src/Any_Pointset_defs.hh @@ -1,6 +1,6 @@ /* Any_Pointset class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Any_Pointset_inlines.hh b/src/Any_Pointset_inlines.hh index 7b46c2375..48da99d52 100644 --- a/src/Any_Pointset_inlines.hh +++ b/src/Any_Pointset_inlines.hh @@ -1,6 +1,6 @@ /* Any_Pointset class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Any_Pointset_types.hh b/src/Any_Pointset_types.hh index 60fedf226..b6fe81f60 100644 --- a/src/Any_Pointset_types.hh +++ b/src/Any_Pointset_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Ask_Tell_defs.hh b/src/Ask_Tell_defs.hh index c07b35f41..e885cbf7d 100644 --- a/src/Ask_Tell_defs.hh +++ b/src/Ask_Tell_defs.hh @@ -1,6 +1,6 @@ /* Ask_Tell class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ask_Tell_inlines.hh b/src/Ask_Tell_inlines.hh index 853b20771..64b4fcf6f 100644 --- a/src/Ask_Tell_inlines.hh +++ b/src/Ask_Tell_inlines.hh @@ -1,6 +1,6 @@ /* Ask_Tell class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ask_Tell_templates.hh b/src/Ask_Tell_templates.hh index 99c7aa455..b6cd87d14 100644 --- a/src/Ask_Tell_templates.hh +++ b/src/Ask_Tell_templates.hh @@ -1,6 +1,6 @@ /* Ask_Tell class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ask_Tell_types.hh b/src/Ask_Tell_types.hh index 5e463c936..e89e2f0f2 100644 --- a/src/Ask_Tell_types.hh +++ b/src/Ask_Tell_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/BDS_Status_idefs.hh b/src/BDS_Status_idefs.hh index 1260d5023..c2a609ebf 100644 --- a/src/BDS_Status_idefs.hh +++ b/src/BDS_Status_idefs.hh @@ -1,6 +1,6 @@ /* BD_Shape<T>::Status class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BDS_Status_inlines.hh b/src/BDS_Status_inlines.hh index 07a1187cf..8cf913027 100644 --- a/src/BDS_Status_inlines.hh +++ b/src/BDS_Status_inlines.hh @@ -1,6 +1,6 @@ /* BD_Shape<T>::Status class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BD_Shape.cc b/src/BD_Shape.cc index c1c94491a..f772fcd3e 100644 --- a/src/BD_Shape.cc +++ b/src/BD_Shape.cc @@ -1,6 +1,6 @@ /* BD_Shape class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BD_Shape_defs.hh b/src/BD_Shape_defs.hh index 891c122a3..0bfe836a1 100644 --- a/src/BD_Shape_defs.hh +++ b/src/BD_Shape_defs.hh @@ -1,6 +1,6 @@ /* BD_Shape class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BD_Shape_inlines.hh b/src/BD_Shape_inlines.hh index 7aedf7955..d3b7022c7 100644 --- a/src/BD_Shape_inlines.hh +++ b/src/BD_Shape_inlines.hh @@ -1,6 +1,6 @@ /* BD_Shape class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BD_Shape_templates.hh b/src/BD_Shape_templates.hh index 61977b569..3a175c255 100644 --- a/src/BD_Shape_templates.hh +++ b/src/BD_Shape_templates.hh @@ -1,6 +1,6 @@ /* BD_Shape class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BD_Shape_types.hh b/src/BD_Shape_types.hh index 5dc0f96e3..52096050e 100644 --- a/src/BD_Shape_types.hh +++ b/src/BD_Shape_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/BHRZ03_Certificate.cc b/src/BHRZ03_Certificate.cc index acb272202..b640ff78c 100644 --- a/src/BHRZ03_Certificate.cc +++ b/src/BHRZ03_Certificate.cc @@ -1,6 +1,6 @@ /* BHRZ03_Certificate class implementation (non-inline member functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BHRZ03_Certificate_defs.hh b/src/BHRZ03_Certificate_defs.hh index 288ec3eb9..433f5d63a 100644 --- a/src/BHRZ03_Certificate_defs.hh +++ b/src/BHRZ03_Certificate_defs.hh @@ -1,6 +1,6 @@ /* BHRZ03_Certificate class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BHRZ03_Certificate_inlines.hh b/src/BHRZ03_Certificate_inlines.hh index be26efde7..6d17f7e17 100644 --- a/src/BHRZ03_Certificate_inlines.hh +++ b/src/BHRZ03_Certificate_inlines.hh @@ -1,6 +1,6 @@ /* BHRZ03_Certificate class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/BHRZ03_Certificate_types.hh b/src/BHRZ03_Certificate_types.hh index fd2b31dc4..f025348d4 100644 --- a/src/BHRZ03_Certificate_types.hh +++ b/src/BHRZ03_Certificate_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index 805d1665a..4b4235f4b 100644 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -1,6 +1,6 @@ /* Bit_Matrix class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Matrix_defs.hh b/src/Bit_Matrix_defs.hh index ae851f6c5..d2b67ee90 100644 --- a/src/Bit_Matrix_defs.hh +++ b/src/Bit_Matrix_defs.hh @@ -1,6 +1,6 @@ /* Bit_Matrix class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Matrix_inlines.hh b/src/Bit_Matrix_inlines.hh index 717cac60b..a5e2f96b3 100644 --- a/src/Bit_Matrix_inlines.hh +++ b/src/Bit_Matrix_inlines.hh @@ -1,6 +1,6 @@ /* Bit_Matrix class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Matrix_types.hh b/src/Bit_Matrix_types.hh index 9186e8fae..11bfb420e 100644 --- a/src/Bit_Matrix_types.hh +++ b/src/Bit_Matrix_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Bit_Row.cc b/src/Bit_Row.cc index 0658f09f7..d80539417 100644 --- a/src/Bit_Row.cc +++ b/src/Bit_Row.cc @@ -1,6 +1,6 @@ /* Bit_Row class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Row_defs.hh b/src/Bit_Row_defs.hh index 00224b996..d51f39a71 100644 --- a/src/Bit_Row_defs.hh +++ b/src/Bit_Row_defs.hh @@ -1,6 +1,6 @@ /* Bit_Row class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Row_inlines.hh b/src/Bit_Row_inlines.hh index 0f7dd967b..f0de82431 100644 --- a/src/Bit_Row_inlines.hh +++ b/src/Bit_Row_inlines.hh @@ -1,6 +1,6 @@ /* Bit_Row class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Bit_Row_types.hh b/src/Bit_Row_types.hh index a38b48dd6..7206d43c5 100644 --- a/src/Bit_Row_types.hh +++ b/src/Bit_Row_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Boundary_defs.hh b/src/Boundary_defs.hh index 6d4c023c2..b6c4833ff 100644 --- a/src/Boundary_defs.hh +++ b/src/Boundary_defs.hh @@ -1,6 +1,6 @@ /* Interval boundary functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box.cc b/src/Box.cc index 27b5c0c5a..07ca2ab3a 100644 --- a/src/Box.cc +++ b/src/Box.cc @@ -1,6 +1,6 @@ /* Box class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_Status_idefs.hh b/src/Box_Status_idefs.hh index ad525316f..8ec9fcd7d 100644 --- a/src/Box_Status_idefs.hh +++ b/src/Box_Status_idefs.hh @@ -1,6 +1,6 @@ /* Box<ITV>::Status class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_Status_inlines.hh b/src/Box_Status_inlines.hh index 0153073ac..84d89c3a0 100644 --- a/src/Box_Status_inlines.hh +++ b/src/Box_Status_inlines.hh @@ -1,6 +1,6 @@ /* Box<ITV>::Status class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_defs.hh b/src/Box_defs.hh index d626a3a62..2b8326840 100644 --- a/src/Box_defs.hh +++ b/src/Box_defs.hh @@ -1,6 +1,6 @@ /* Box class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_inlines.hh b/src/Box_inlines.hh index feacb43c7..84aa99a2a 100644 --- a/src/Box_inlines.hh +++ b/src/Box_inlines.hh @@ -1,6 +1,6 @@ /* Box class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_templates.hh b/src/Box_templates.hh index b1061b944..8d870a5af 100644 --- a/src/Box_templates.hh +++ b/src/Box_templates.hh @@ -1,6 +1,6 @@ /* Box class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Box_types.hh b/src/Box_types.hh index 298b6cdaf..3383e0287 100644 --- a/src/Box_types.hh +++ b/src/Box_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index 826c97cd5..648e12ad0 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -1,6 +1,6 @@ /* CO_Tree class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/CO_Tree_defs.hh b/src/CO_Tree_defs.hh index 2b29b73f8..223e39066 100644 --- a/src/CO_Tree_defs.hh +++ b/src/CO_Tree_defs.hh @@ -1,6 +1,6 @@ /* CO_Tree class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/CO_Tree_inlines.hh b/src/CO_Tree_inlines.hh index 1c8c5057e..f2e694a09 100644 --- a/src/CO_Tree_inlines.hh +++ b/src/CO_Tree_inlines.hh @@ -1,6 +1,6 @@ /* CO_Tree class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/CO_Tree_templates.hh b/src/CO_Tree_templates.hh index 42948a5e4..504346b53 100644 --- a/src/CO_Tree_templates.hh +++ b/src/CO_Tree_templates.hh @@ -1,6 +1,6 @@ /* CO_Tree class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/CO_Tree_types.hh b/src/CO_Tree_types.hh index b7157a0ec..c9b36f253 100644 --- a/src/CO_Tree_types.hh +++ b/src/CO_Tree_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/C_Integer.hh b/src/C_Integer.hh index e7432ed5a..a026f8616 100644 --- a/src/C_Integer.hh +++ b/src/C_Integer.hh @@ -1,6 +1,6 @@ /* C integers info. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/C_Polyhedron.cc b/src/C_Polyhedron.cc index 355d73e73..4810a3399 100644 --- a/src/C_Polyhedron.cc +++ b/src/C_Polyhedron.cc @@ -1,6 +1,6 @@ /* C_Polyhedron class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/C_Polyhedron_defs.hh b/src/C_Polyhedron_defs.hh index 7ac6c8632..022c7df8a 100644 --- a/src/C_Polyhedron_defs.hh +++ b/src/C_Polyhedron_defs.hh @@ -1,6 +1,6 @@ /* C_Polyhedron class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/C_Polyhedron_inlines.hh b/src/C_Polyhedron_inlines.hh index e30648dc9..944fbd899 100644 --- a/src/C_Polyhedron_inlines.hh +++ b/src/C_Polyhedron_inlines.hh @@ -1,6 +1,6 @@ /* C_Polyhedron class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/C_Polyhedron_types.hh b/src/C_Polyhedron_types.hh index e4c163854..96d84cad6 100644 --- a/src/C_Polyhedron_types.hh +++ b/src/C_Polyhedron_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Cast_Floating_Point_Expression_defs.hh b/src/Cast_Floating_Point_Expression_defs.hh index 12e74d4ff..ab6b0e850 100644 --- a/src/Cast_Floating_Point_Expression_defs.hh +++ b/src/Cast_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Cast_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Cast_Floating_Point_Expression_inlines.hh b/src/Cast_Floating_Point_Expression_inlines.hh index e48dbec56..333fe74ae 100644 --- a/src/Cast_Floating_Point_Expression_inlines.hh +++ b/src/Cast_Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Cast_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Cast_Floating_Point_Expression_templates.hh b/src/Cast_Floating_Point_Expression_templates.hh index 7210ee5ae..695a9811e 100644 --- a/src/Cast_Floating_Point_Expression_templates.hh +++ b/src/Cast_Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Cast_Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Cast_Floating_Point_Expression_types.hh b/src/Cast_Floating_Point_Expression_types.hh index 066761fc6..8fa18a697 100644 --- a/src/Cast_Floating_Point_Expression_types.hh +++ b/src/Cast_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Checked_Number.cc b/src/Checked_Number.cc index 8f45f6a40..df0fc1712 100644 --- a/src/Checked_Number.cc +++ b/src/Checked_Number.cc @@ -1,6 +1,6 @@ /* Checked_Number class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Checked_Number_defs.hh b/src/Checked_Number_defs.hh index 9afcb091f..1ee1f6dc4 100644 --- a/src/Checked_Number_defs.hh +++ b/src/Checked_Number_defs.hh @@ -1,6 +1,6 @@ /* Checked_Number class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Checked_Number_inlines.hh b/src/Checked_Number_inlines.hh index 59be9b741..233ae2873 100644 --- a/src/Checked_Number_inlines.hh +++ b/src/Checked_Number_inlines.hh @@ -1,6 +1,6 @@ /* Checked_Number class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Checked_Number_templates.hh b/src/Checked_Number_templates.hh index 5c6c596d2..48a5a3e90 100644 --- a/src/Checked_Number_templates.hh +++ b/src/Checked_Number_templates.hh @@ -1,6 +1,6 @@ /* Checked_Number class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Checked_Number_types.hh b/src/Checked_Number_types.hh index b8db5113e..b404b8796 100644 --- a/src/Checked_Number_types.hh +++ b/src/Checked_Number_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Coefficient.cc b/src/Coefficient.cc index bd7ed9133..593b34475 100644 --- a/src/Coefficient.cc +++ b/src/Coefficient.cc @@ -1,6 +1,6 @@ /* Coefficient class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Coefficient_defs.hh b/src/Coefficient_defs.hh index 3072a3f2e..a5733b2f6 100644 --- a/src/Coefficient_defs.hh +++ b/src/Coefficient_defs.hh @@ -1,6 +1,6 @@ /* Coefficient class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Coefficient_inlines.hh b/src/Coefficient_inlines.hh index 8c9dda6dc..d10c36e65 100644 --- a/src/Coefficient_inlines.hh +++ b/src/Coefficient_inlines.hh @@ -1,6 +1,6 @@ /* Coefficient class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Coefficient_traits_template.hh b/src/Coefficient_traits_template.hh index 921711dc8..2117477ec 100644 --- a/src/Coefficient_traits_template.hh +++ b/src/Coefficient_traits_template.hh @@ -1,6 +1,6 @@ /* Coefficient_traits_template class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Coefficient_types.hh b/src/Coefficient_types.hh index 5075ce8e1..731a45afa 100644 --- a/src/Coefficient_types.hh +++ b/src/Coefficient_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Concrete_Expression.cc b/src/Concrete_Expression.cc index 5da942786..5c25d66fa 100644 --- a/src/Concrete_Expression.cc +++ b/src/Concrete_Expression.cc @@ -1,6 +1,6 @@ /* Concrete_Expression class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Concrete_Expression_defs.hh b/src/Concrete_Expression_defs.hh index 5f64db2e0..d59e1c93f 100644 --- a/src/Concrete_Expression_defs.hh +++ b/src/Concrete_Expression_defs.hh @@ -1,6 +1,6 @@ /* Concrete_Expression class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Concrete_Expression_inlines.hh b/src/Concrete_Expression_inlines.hh index bb2a29d9e..39a6f70ee 100644 --- a/src/Concrete_Expression_inlines.hh +++ b/src/Concrete_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Concrete_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Concrete_Expression_types.hh b/src/Concrete_Expression_types.hh index c15a98e87..ea0f68edf 100644 --- a/src/Concrete_Expression_types.hh +++ b/src/Concrete_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Congruence.cc b/src/Congruence.cc index ed4d8be10..e03625dfc 100644 --- a/src/Congruence.cc +++ b/src/Congruence.cc @@ -1,6 +1,6 @@ /* Congruence class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_System.cc b/src/Congruence_System.cc index 32c53232d..ba297543e 100644 --- a/src/Congruence_System.cc +++ b/src/Congruence_System.cc @@ -1,6 +1,6 @@ /* Congruence_System class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_System_defs.hh b/src/Congruence_System_defs.hh index f4fcd06ce..18296dc32 100644 --- a/src/Congruence_System_defs.hh +++ b/src/Congruence_System_defs.hh @@ -1,6 +1,6 @@ /* Congruence_System class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_System_inlines.hh b/src/Congruence_System_inlines.hh index 640d12412..c63fb1f02 100644 --- a/src/Congruence_System_inlines.hh +++ b/src/Congruence_System_inlines.hh @@ -1,6 +1,6 @@ /* Congruence_System class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_System_types.hh b/src/Congruence_System_types.hh index e2526f9ba..0e3e91960 100644 --- a/src/Congruence_System_types.hh +++ b/src/Congruence_System_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Congruence_defs.hh b/src/Congruence_defs.hh index 656ec5558..92e004500 100644 --- a/src/Congruence_defs.hh +++ b/src/Congruence_defs.hh @@ -1,6 +1,6 @@ /* Congruence class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_inlines.hh b/src/Congruence_inlines.hh index 6dd629ef7..0ccd7052c 100644 --- a/src/Congruence_inlines.hh +++ b/src/Congruence_inlines.hh @@ -1,6 +1,6 @@ /* Congruence class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Congruence_types.hh b/src/Congruence_types.hh index 37060e203..5cc5e09e7 100644 --- a/src/Congruence_types.hh +++ b/src/Congruence_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Constant_Floating_Point_Expression_defs.hh b/src/Constant_Floating_Point_Expression_defs.hh index 77140ced8..26906dd93 100644 --- a/src/Constant_Floating_Point_Expression_defs.hh +++ b/src/Constant_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Constant_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constant_Floating_Point_Expression_inlines.hh b/src/Constant_Floating_Point_Expression_inlines.hh index daea98daa..5e138d2dc 100644 --- a/src/Constant_Floating_Point_Expression_inlines.hh +++ b/src/Constant_Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Constant_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constant_Floating_Point_Expression_types.hh b/src/Constant_Floating_Point_Expression_types.hh index a75f36974..72ab45feb 100644 --- a/src/Constant_Floating_Point_Expression_types.hh +++ b/src/Constant_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Constraint.cc b/src/Constraint.cc index 345eb1642..515230b1d 100644 --- a/src/Constraint.cc +++ b/src/Constraint.cc @@ -1,6 +1,6 @@ /* Constraint class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_System.cc b/src/Constraint_System.cc index 2e63a0c25..22ba06c1d 100644 --- a/src/Constraint_System.cc +++ b/src/Constraint_System.cc @@ -1,6 +1,6 @@ /* Constraint_System class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_System_defs.hh b/src/Constraint_System_defs.hh index 2c3e3b756..5a26a2d7c 100644 --- a/src/Constraint_System_defs.hh +++ b/src/Constraint_System_defs.hh @@ -1,6 +1,6 @@ /* Constraint_System class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_System_inlines.hh b/src/Constraint_System_inlines.hh index 24c537a4a..7a23d6b29 100644 --- a/src/Constraint_System_inlines.hh +++ b/src/Constraint_System_inlines.hh @@ -1,6 +1,6 @@ /* Constraint_System class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_System_types.hh b/src/Constraint_System_types.hh index f990cbf9c..7e947e882 100644 --- a/src/Constraint_System_types.hh +++ b/src/Constraint_System_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Constraint_defs.hh b/src/Constraint_defs.hh index eae215fb7..aedfa5bf4 100644 --- a/src/Constraint_defs.hh +++ b/src/Constraint_defs.hh @@ -1,6 +1,6 @@ /* Constraint class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_inlines.hh b/src/Constraint_inlines.hh index 2aa280fd7..2a077f440 100644 --- a/src/Constraint_inlines.hh +++ b/src/Constraint_inlines.hh @@ -1,6 +1,6 @@ /* Constraint class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Constraint_types.hh b/src/Constraint_types.hh index b272e2c79..223a3c6db 100644 --- a/src/Constraint_types.hh +++ b/src/Constraint_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/DB_Matrix_defs.hh b/src/DB_Matrix_defs.hh index dce9b00fb..507972f87 100644 --- a/src/DB_Matrix_defs.hh +++ b/src/DB_Matrix_defs.hh @@ -1,6 +1,6 @@ /* DB_Matrix class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Matrix_inlines.hh b/src/DB_Matrix_inlines.hh index 0c255c0b8..63c52ca83 100644 --- a/src/DB_Matrix_inlines.hh +++ b/src/DB_Matrix_inlines.hh @@ -1,6 +1,6 @@ /* DB_Matrix class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Matrix_templates.hh b/src/DB_Matrix_templates.hh index c19d93a63..6fba4e139 100644 --- a/src/DB_Matrix_templates.hh +++ b/src/DB_Matrix_templates.hh @@ -1,6 +1,6 @@ /* DB_Matrix class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Matrix_types.hh b/src/DB_Matrix_types.hh index c5f43d5e4..afc4e2a6f 100644 --- a/src/DB_Matrix_types.hh +++ b/src/DB_Matrix_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/DB_Row_defs.hh b/src/DB_Row_defs.hh index e5be8d853..d756481e6 100644 --- a/src/DB_Row_defs.hh +++ b/src/DB_Row_defs.hh @@ -1,6 +1,6 @@ /* DB_Row class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Row_inlines.hh b/src/DB_Row_inlines.hh index be7cc4bd4..1ceeb7e9f 100644 --- a/src/DB_Row_inlines.hh +++ b/src/DB_Row_inlines.hh @@ -1,6 +1,6 @@ /* DB_Row class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Row_templates.hh b/src/DB_Row_templates.hh index a4d47e1b9..12dbac429 100644 --- a/src/DB_Row_templates.hh +++ b/src/DB_Row_templates.hh @@ -1,6 +1,6 @@ /* DB_Row class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/DB_Row_types.hh b/src/DB_Row_types.hh index 99303a1db..03e6183e6 100644 --- a/src/DB_Row_types.hh +++ b/src/DB_Row_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Dense_Row.cc b/src/Dense_Row.cc index c0c4fc977..924506f9d 100644 --- a/src/Dense_Row.cc +++ b/src/Dense_Row.cc @@ -1,6 +1,6 @@ /* Dense_Row class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Dense_Row_defs.hh b/src/Dense_Row_defs.hh index e4df11ba3..27af61d86 100644 --- a/src/Dense_Row_defs.hh +++ b/src/Dense_Row_defs.hh @@ -1,6 +1,6 @@ /* Dense_Row class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Dense_Row_inlines.hh b/src/Dense_Row_inlines.hh index e562e4c57..10c98b8ac 100644 --- a/src/Dense_Row_inlines.hh +++ b/src/Dense_Row_inlines.hh @@ -1,6 +1,6 @@ /* Dense_Row class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Dense_Row_templates.hh b/src/Dense_Row_templates.hh index 3517bf1ee..610825618 100644 --- a/src/Dense_Row_templates.hh +++ b/src/Dense_Row_templates.hh @@ -1,6 +1,6 @@ /* Dense_Row class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Dense_Row_types.hh b/src/Dense_Row_types.hh index 686efa87a..e4a31d50f 100644 --- a/src/Dense_Row_types.hh +++ b/src/Dense_Row_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Determinate_defs.hh b/src/Determinate_defs.hh index 18bdcbff0..1db67927d 100644 --- a/src/Determinate_defs.hh +++ b/src/Determinate_defs.hh @@ -1,6 +1,6 @@ /* Determinate class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh index b94a11e44..bf7469a49 100644 --- a/src/Determinate_inlines.hh +++ b/src/Determinate_inlines.hh @@ -1,6 +1,6 @@ /* Determinate class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Determinate_types.hh b/src/Determinate_types.hh index 9619fdb20..2c79f6f68 100644 --- a/src/Determinate_types.hh +++ b/src/Determinate_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Difference_Floating_Point_Expression_defs.hh b/src/Difference_Floating_Point_Expression_defs.hh index ee424287f..c2e6ef860 100644 --- a/src/Difference_Floating_Point_Expression_defs.hh +++ b/src/Difference_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Difference_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Difference_Floating_Point_Expression_inlines.hh b/src/Difference_Floating_Point_Expression_inlines.hh index 7965d9c80..ac7daf289 100644 --- a/src/Difference_Floating_Point_Expression_inlines.hh +++ b/src/Difference_Floating_Point_Expression_inlines.hh @@ -1,7 +1,7 @@ /* Difference_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Difference_Floating_Point_Expression_templates.hh b/src/Difference_Floating_Point_Expression_templates.hh index 03d0ae08a..9923c5ad2 100644 --- a/src/Difference_Floating_Point_Expression_templates.hh +++ b/src/Difference_Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Difference_Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Difference_Floating_Point_Expression_types.hh b/src/Difference_Floating_Point_Expression_types.hh index 5e228e401..2a435e734 100644 --- a/src/Difference_Floating_Point_Expression_types.hh +++ b/src/Difference_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Division_Floating_Point_Expression_defs.hh b/src/Division_Floating_Point_Expression_defs.hh index d4abdd184..ed9751bfe 100644 --- a/src/Division_Floating_Point_Expression_defs.hh +++ b/src/Division_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Division_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Division_Floating_Point_Expression_inlines.hh b/src/Division_Floating_Point_Expression_inlines.hh index b3bc589be..c6ed4dfb1 100644 --- a/src/Division_Floating_Point_Expression_inlines.hh +++ b/src/Division_Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Division_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Division_Floating_Point_Expression_templates.hh b/src/Division_Floating_Point_Expression_templates.hh index 3c3696bd7..3feb26a25 100644 --- a/src/Division_Floating_Point_Expression_templates.hh +++ b/src/Division_Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Division_Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Division_Floating_Point_Expression_types.hh b/src/Division_Floating_Point_Expression_types.hh index 5931d067f..bfd2010ff 100644 --- a/src/Division_Floating_Point_Expression_types.hh +++ b/src/Division_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Doubly_Linked_Object_defs.hh b/src/Doubly_Linked_Object_defs.hh index a2ba59884..bb6b4f26a 100644 --- a/src/Doubly_Linked_Object_defs.hh +++ b/src/Doubly_Linked_Object_defs.hh @@ -1,6 +1,6 @@ /* Doubly_Linked_Object class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Doubly_Linked_Object_inlines.hh b/src/Doubly_Linked_Object_inlines.hh index 4fda437ff..147c6e32c 100644 --- a/src/Doubly_Linked_Object_inlines.hh +++ b/src/Doubly_Linked_Object_inlines.hh @@ -1,6 +1,6 @@ /* Doubly_Linked_Object class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Doubly_Linked_Object_types.hh b/src/Doubly_Linked_Object_types.hh index 18ba5fa5b..2e3cac1b5 100644 --- a/src/Doubly_Linked_Object_types.hh +++ b/src/Doubly_Linked_Object_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/EList_Iterator_defs.hh b/src/EList_Iterator_defs.hh index 23bd0288b..0cabaa5d1 100644 --- a/src/EList_Iterator_defs.hh +++ b/src/EList_Iterator_defs.hh @@ -1,6 +1,6 @@ /* EList_Iterator class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/EList_Iterator_inlines.hh b/src/EList_Iterator_inlines.hh index d1890e8e9..1d5e96c04 100644 --- a/src/EList_Iterator_inlines.hh +++ b/src/EList_Iterator_inlines.hh @@ -1,6 +1,6 @@ /* EList_Iterator class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/EList_Iterator_types.hh b/src/EList_Iterator_types.hh index c178079ce..584f9fa73 100644 --- a/src/EList_Iterator_types.hh +++ b/src/EList_Iterator_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/EList_defs.hh b/src/EList_defs.hh index c6c12dfce..3d3fa960e 100644 --- a/src/EList_defs.hh +++ b/src/EList_defs.hh @@ -1,6 +1,6 @@ /* EList class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/EList_inlines.hh b/src/EList_inlines.hh index 7ab14f590..010c2a368 100644 --- a/src/EList_inlines.hh +++ b/src/EList_inlines.hh @@ -1,6 +1,6 @@ /* EList class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/EList_types.hh b/src/EList_types.hh index 0a29b476e..4793eccc5 100644 --- a/src/EList_types.hh +++ b/src/EList_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Expression_Adapter_defs.hh b/src/Expression_Adapter_defs.hh index 7682e0b28..f06e1ea7f 100644 --- a/src/Expression_Adapter_defs.hh +++ b/src/Expression_Adapter_defs.hh @@ -1,6 +1,6 @@ /* Expression_Adapter class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Adapter_inlines.hh b/src/Expression_Adapter_inlines.hh index 72eb17836..c45f5e8cd 100644 --- a/src/Expression_Adapter_inlines.hh +++ b/src/Expression_Adapter_inlines.hh @@ -1,6 +1,6 @@ /* Expression_Adapter class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Adapter_types.hh b/src/Expression_Adapter_types.hh index cd63bcbe4..856d2604f 100644 --- a/src/Expression_Adapter_types.hh +++ b/src/Expression_Adapter_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Expression_Hide_Inhomo_defs.hh b/src/Expression_Hide_Inhomo_defs.hh index 65d116d96..877c8e132 100644 --- a/src/Expression_Hide_Inhomo_defs.hh +++ b/src/Expression_Hide_Inhomo_defs.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Inhomo class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Inhomo_inlines.hh b/src/Expression_Hide_Inhomo_inlines.hh index 99654c7cf..e3a6919f9 100644 --- a/src/Expression_Hide_Inhomo_inlines.hh +++ b/src/Expression_Hide_Inhomo_inlines.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Inhomo class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Inhomo_types.hh b/src/Expression_Hide_Inhomo_types.hh index 34f61632d..b9174eac7 100644 --- a/src/Expression_Hide_Inhomo_types.hh +++ b/src/Expression_Hide_Inhomo_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Expression_Hide_Last_defs.hh b/src/Expression_Hide_Last_defs.hh index b94102b1d..7da0a9f93 100644 --- a/src/Expression_Hide_Last_defs.hh +++ b/src/Expression_Hide_Last_defs.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Last class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Last_inlines.hh b/src/Expression_Hide_Last_inlines.hh index f444ec397..db169fc23 100644 --- a/src/Expression_Hide_Last_inlines.hh +++ b/src/Expression_Hide_Last_inlines.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Last class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Last_types.hh b/src/Expression_Hide_Last_types.hh index 00bd34923..ce3722719 100644 --- a/src/Expression_Hide_Last_types.hh +++ b/src/Expression_Hide_Last_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Float.cc b/src/Float.cc index d20d5da7e..1571a1b8c 100644 --- a/src/Float.cc +++ b/src/Float.cc @@ -1,6 +1,6 @@ /* IEC 559 floating point format related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Float_defs.hh b/src/Float_defs.hh index 3b1060e01..3e455d207 100644 --- a/src/Float_defs.hh +++ b/src/Float_defs.hh @@ -1,6 +1,6 @@ /* IEC 559 floating point format related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Float_inlines.hh b/src/Float_inlines.hh index 47ae60925..634195113 100644 --- a/src/Float_inlines.hh +++ b/src/Float_inlines.hh @@ -1,6 +1,6 @@ /* IEC 559 floating point format related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Float_templates.hh b/src/Float_templates.hh index d9b185a0c..19663bf09 100644 --- a/src/Float_templates.hh +++ b/src/Float_templates.hh @@ -1,7 +1,7 @@ /* IEC 559 floating point format related functions: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Floating_Point_Expression_defs.hh b/src/Floating_Point_Expression_defs.hh index 961f21e31..57231bfee 100644 --- a/src/Floating_Point_Expression_defs.hh +++ b/src/Floating_Point_Expression_defs.hh @@ -1,6 +1,6 @@ /* Declarations for the Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Floating_Point_Expression_inlines.hh b/src/Floating_Point_Expression_inlines.hh index a81ee9574..644f83977 100644 --- a/src/Floating_Point_Expression_inlines.hh +++ b/src/Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Floating_Point_Expression_templates.hh b/src/Floating_Point_Expression_templates.hh index 511734529..b10e68562 100644 --- a/src/Floating_Point_Expression_templates.hh +++ b/src/Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Floating_Point_Expression_types.hh b/src/Floating_Point_Expression_types.hh index 3ae68554c..27cca8208 100644 --- a/src/Floating_Point_Expression_types.hh +++ b/src/Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/GMP_Integer_defs.hh b/src/GMP_Integer_defs.hh index cc6b0ffa6..003082579 100644 --- a/src/GMP_Integer_defs.hh +++ b/src/GMP_Integer_defs.hh @@ -1,6 +1,6 @@ /* GMP_Integer class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/GMP_Integer_inlines.hh b/src/GMP_Integer_inlines.hh index 62ca68da2..449622c7f 100644 --- a/src/GMP_Integer_inlines.hh +++ b/src/GMP_Integer_inlines.hh @@ -1,6 +1,6 @@ /* GMP_Integer class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/GMP_Integer_types.hh b/src/GMP_Integer_types.hh index fd18053e6..9463fed4f 100644 --- a/src/GMP_Integer_types.hh +++ b/src/GMP_Integer_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Generator.cc b/src/Generator.cc index 2288195ff..38848fa1b 100644 --- a/src/Generator.cc +++ b/src/Generator.cc @@ -1,6 +1,6 @@ /* Generator class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_System.cc b/src/Generator_System.cc index d400eb1c2..be2962782 100644 --- a/src/Generator_System.cc +++ b/src/Generator_System.cc @@ -1,6 +1,6 @@ /* Generator_System class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_System_defs.hh b/src/Generator_System_defs.hh index 6df27a202..b93e9290d 100644 --- a/src/Generator_System_defs.hh +++ b/src/Generator_System_defs.hh @@ -1,6 +1,6 @@ /* Generator_System class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_System_inlines.hh b/src/Generator_System_inlines.hh index a3ef97a36..bd4cb4384 100644 --- a/src/Generator_System_inlines.hh +++ b/src/Generator_System_inlines.hh @@ -1,6 +1,6 @@ /* Generator_System class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_System_types.hh b/src/Generator_System_types.hh index de9a9edfa..f36865428 100644 --- a/src/Generator_System_types.hh +++ b/src/Generator_System_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Generator_defs.hh b/src/Generator_defs.hh index 69bbc2c04..904d42d8e 100644 --- a/src/Generator_defs.hh +++ b/src/Generator_defs.hh @@ -1,6 +1,6 @@ /* Generator class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_inlines.hh b/src/Generator_inlines.hh index d59cb5765..8de552bd8 100644 --- a/src/Generator_inlines.hh +++ b/src/Generator_inlines.hh @@ -1,6 +1,6 @@ /* Generator class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Generator_types.hh b/src/Generator_types.hh index 880876f1d..f2a7178e4 100644 --- a/src/Generator_types.hh +++ b/src/Generator_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc index db4a4568d..7a88bfe27 100644 --- a/src/Grid_Certificate.cc +++ b/src/Grid_Certificate.cc @@ -1,7 +1,7 @@ /* Grid_Certificate class implementation (non-inline member functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Certificate_defs.hh b/src/Grid_Certificate_defs.hh index 1ccef4dd7..5aaac9ab4 100644 --- a/src/Grid_Certificate_defs.hh +++ b/src/Grid_Certificate_defs.hh @@ -1,6 +1,6 @@ /* Grid_Certificate class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Certificate_inlines.hh b/src/Grid_Certificate_inlines.hh index 41bf75a6e..35d3433ea 100644 --- a/src/Grid_Certificate_inlines.hh +++ b/src/Grid_Certificate_inlines.hh @@ -1,6 +1,6 @@ /* Grid_Certificate class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Certificate_types.hh b/src/Grid_Certificate_types.hh index 4207746f7..d825c8ebc 100644 --- a/src/Grid_Certificate_types.hh +++ b/src/Grid_Certificate_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Grid_Generator.cc b/src/Grid_Generator.cc index e9a3fb4e4..7a37f5d96 100644 --- a/src/Grid_Generator.cc +++ b/src/Grid_Generator.cc @@ -1,6 +1,6 @@ /* Grid_Generator class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_System.cc b/src/Grid_Generator_System.cc index 35f18aa3f..8064a20cc 100644 --- a/src/Grid_Generator_System.cc +++ b/src/Grid_Generator_System.cc @@ -1,6 +1,6 @@ /* Grid_Generator_System class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_System_defs.hh b/src/Grid_Generator_System_defs.hh index 16b9be978..efe2f9823 100644 --- a/src/Grid_Generator_System_defs.hh +++ b/src/Grid_Generator_System_defs.hh @@ -1,6 +1,6 @@ /* Grid_Generator_System class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_System_inlines.hh b/src/Grid_Generator_System_inlines.hh index c20153046..4b4b56fae 100644 --- a/src/Grid_Generator_System_inlines.hh +++ b/src/Grid_Generator_System_inlines.hh @@ -1,6 +1,6 @@ /* Grid_Generator_System class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_System_types.hh b/src/Grid_Generator_System_types.hh index 73bda4cf8..3c5dff76e 100644 --- a/src/Grid_Generator_System_types.hh +++ b/src/Grid_Generator_System_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Grid_Generator_defs.hh b/src/Grid_Generator_defs.hh index 60327f167..d3b03ea68 100644 --- a/src/Grid_Generator_defs.hh +++ b/src/Grid_Generator_defs.hh @@ -1,6 +1,6 @@ /* Grid_Generator class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_inlines.hh b/src/Grid_Generator_inlines.hh index 9102094ea..2d7b6bbb2 100644 --- a/src/Grid_Generator_inlines.hh +++ b/src/Grid_Generator_inlines.hh @@ -1,6 +1,6 @@ /* Grid Generator class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Generator_types.hh b/src/Grid_Generator_types.hh index 956b2a973..e7a86ade7 100644 --- a/src/Grid_Generator_types.hh +++ b/src/Grid_Generator_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Grid_Status.cc b/src/Grid_Status.cc index cd751ba1f..63b5edb93 100644 --- a/src/Grid_Status.cc +++ b/src/Grid_Status.cc @@ -1,6 +1,6 @@ /* Grid::Status class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Status_idefs.hh b/src/Grid_Status_idefs.hh index e75092098..cb4ea1916 100644 --- a/src/Grid_Status_idefs.hh +++ b/src/Grid_Status_idefs.hh @@ -1,6 +1,6 @@ /* Grid::Status class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_Status_inlines.hh b/src/Grid_Status_inlines.hh index 935217a39..0b031ae7f 100644 --- a/src/Grid_Status_inlines.hh +++ b/src/Grid_Status_inlines.hh @@ -1,6 +1,6 @@ /* Grid::Status class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_chdims.cc b/src/Grid_chdims.cc index 845ec9b46..f20cc3236 100644 --- a/src/Grid_chdims.cc +++ b/src/Grid_chdims.cc @@ -1,7 +1,7 @@ /* Grid class implementation (non-inline operators that may change the dimension of the vector space). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_conversion.cc b/src/Grid_conversion.cc index 7495825d3..7bd6e45bf 100644 --- a/src/Grid_conversion.cc +++ b/src/Grid_conversion.cc @@ -1,6 +1,6 @@ /* Grid class implementation: conversion(). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_defs.hh b/src/Grid_defs.hh index 1591101bc..9aaf374ea 100644 --- a/src/Grid_defs.hh +++ b/src/Grid_defs.hh @@ -1,6 +1,6 @@ /* Grid class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_inlines.hh b/src/Grid_inlines.hh index fe83c7dce..5c496dc00 100644 --- a/src/Grid_inlines.hh +++ b/src/Grid_inlines.hh @@ -1,6 +1,6 @@ /* Grid class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_nonpublic.cc b/src/Grid_nonpublic.cc index f4b0723e6..d22e6dbe1 100644 --- a/src/Grid_nonpublic.cc +++ b/src/Grid_nonpublic.cc @@ -1,7 +1,7 @@ /* Grid class implementation (non-inline private or protected functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_public.cc b/src/Grid_public.cc index b3b9b00e6..c16344e24 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -1,6 +1,6 @@ /* Grid class implementation (non-inline public functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_simplify.cc b/src/Grid_simplify.cc index 4a0a5153c..6157ba095 100644 --- a/src/Grid_simplify.cc +++ b/src/Grid_simplify.cc @@ -1,6 +1,6 @@ /* Grid class implementation: simplify(). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_templates.hh b/src/Grid_templates.hh index 58d5b7567..a4223f138 100644 --- a/src/Grid_templates.hh +++ b/src/Grid_templates.hh @@ -1,6 +1,6 @@ /* Grid class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Grid_types.hh b/src/Grid_types.hh index 96e419e50..060d7f645 100644 --- a/src/Grid_types.hh +++ b/src/Grid_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Grid_widenings.cc b/src/Grid_widenings.cc index cf05e288c..e51fcef96 100644 --- a/src/Grid_widenings.cc +++ b/src/Grid_widenings.cc @@ -1,7 +1,7 @@ /* Grid class implementation (non-inline widening-related member functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/H79_Certificate.cc b/src/H79_Certificate.cc index 2afbfdcf4..f90b6c380 100644 --- a/src/H79_Certificate.cc +++ b/src/H79_Certificate.cc @@ -1,7 +1,7 @@ /* H79_Certificate class implementation (non-inline member functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/H79_Certificate_defs.hh b/src/H79_Certificate_defs.hh index fb95a9f15..1cc6fe2c1 100644 --- a/src/H79_Certificate_defs.hh +++ b/src/H79_Certificate_defs.hh @@ -1,6 +1,6 @@ /* H79_Certificate class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/H79_Certificate_inlines.hh b/src/H79_Certificate_inlines.hh index b55d5d0b2..0f94d8f0c 100644 --- a/src/H79_Certificate_inlines.hh +++ b/src/H79_Certificate_inlines.hh @@ -1,6 +1,6 @@ /* H79_Certificate class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/H79_Certificate_types.hh b/src/H79_Certificate_types.hh index cbb397e74..7da155b57 100644 --- a/src/H79_Certificate_types.hh +++ b/src/H79_Certificate_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Handler_defs.hh b/src/Handler_defs.hh index eb4f09e57..ca2f6fdb7 100644 --- a/src/Handler_defs.hh +++ b/src/Handler_defs.hh @@ -1,6 +1,6 @@ /* Handler and derived classes' declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Handler_inlines.hh b/src/Handler_inlines.hh index 0af187f1b..00fa0c1f0 100644 --- a/src/Handler_inlines.hh +++ b/src/Handler_inlines.hh @@ -1,6 +1,6 @@ /* Handler and derived classes' implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Handler_types.hh b/src/Handler_types.hh index 4f5e18304..9f842ab4d 100644 --- a/src/Handler_types.hh +++ b/src/Handler_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Has_Assign_Or_Swap.hh b/src/Has_Assign_Or_Swap.hh index 4de38b569..55945edba 100644 --- a/src/Has_Assign_Or_Swap.hh +++ b/src/Has_Assign_Or_Swap.hh @@ -1,6 +1,6 @@ /* Has_Assign_Or_Swap classes declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Init.cc b/src/Init.cc index 0152c3b23..cef1af655 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -1,6 +1,6 @@ /* Init class implementation (non-inline functions and static variables). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Init_defs.hh b/src/Init_defs.hh index f141b2ac2..80923e8b7 100644 --- a/src/Init_defs.hh +++ b/src/Init_defs.hh @@ -1,6 +1,6 @@ /* Init class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Init_inlines.hh b/src/Init_inlines.hh index c67d95cff..124a03ee6 100644 --- a/src/Init_inlines.hh +++ b/src/Init_inlines.hh @@ -1,6 +1,6 @@ /* Init class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Init_types.hh b/src/Init_types.hh index 60d6a6546..410bc0146 100644 --- a/src/Init_types.hh +++ b/src/Init_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Integer_Interval.hh b/src/Integer_Interval.hh index bca99a5ef..1f873edd6 100644 --- a/src/Integer_Interval.hh +++ b/src/Integer_Interval.hh @@ -1,6 +1,6 @@ /* Integer_Interval class declaration and implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_Info_defs.hh b/src/Interval_Info_defs.hh index 609798891..235b35bed 100644 --- a/src/Interval_Info_defs.hh +++ b/src/Interval_Info_defs.hh @@ -1,6 +1,6 @@ /* Interval_Info class declaration and implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_Info_inlines.hh b/src/Interval_Info_inlines.hh index 445301921..e93173d85 100644 --- a/src/Interval_Info_inlines.hh +++ b/src/Interval_Info_inlines.hh @@ -1,6 +1,6 @@ /* Interval_Info class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_Info_types.hh b/src/Interval_Info_types.hh index 8e0520791..ba1e6fbad 100644 --- a/src/Interval_Info_types.hh +++ b/src/Interval_Info_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Interval_defs.hh b/src/Interval_defs.hh index c07f74df4..d5ac49e64 100644 --- a/src/Interval_defs.hh +++ b/src/Interval_defs.hh @@ -1,6 +1,6 @@ /* Declarations for the Interval class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_inlines.hh b/src/Interval_inlines.hh index e986771b9..1e7114594 100644 --- a/src/Interval_inlines.hh +++ b/src/Interval_inlines.hh @@ -1,6 +1,6 @@ /* Inline functions for the Interval class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_templates.hh b/src/Interval_templates.hh index 641016ccd..fca1b17c3 100644 --- a/src/Interval_templates.hh +++ b/src/Interval_templates.hh @@ -1,6 +1,6 @@ /* Interval class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Interval_types.hh b/src/Interval_types.hh index 4e7539792..948d0dc55 100644 --- a/src/Interval_types.hh +++ b/src/Interval_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index f964d8efc..4c0214518 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -1,6 +1,6 @@ /* Linear_Expression class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.cc b/src/Linear_Expression_Impl.cc index ab34cfa16..e802c04d4 100644 --- a/src/Linear_Expression_Impl.cc +++ b/src/Linear_Expression_Impl.cc @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl_defs.hh b/src/Linear_Expression_Impl_defs.hh index ade9b7c29..b5b0bb089 100644 --- a/src/Linear_Expression_Impl_defs.hh +++ b/src/Linear_Expression_Impl_defs.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl_inlines.hh b/src/Linear_Expression_Impl_inlines.hh index 2e9455b7f..f460e913d 100644 --- a/src/Linear_Expression_Impl_inlines.hh +++ b/src/Linear_Expression_Impl_inlines.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl_templates.hh b/src/Linear_Expression_Impl_templates.hh index 67f509c9f..5d5da3f4c 100644 --- a/src/Linear_Expression_Impl_templates.hh +++ b/src/Linear_Expression_Impl_templates.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl_types.hh b/src/Linear_Expression_Impl_types.hh index eac0f7a84..e2beb9b96 100644 --- a/src/Linear_Expression_Impl_types.hh +++ b/src/Linear_Expression_Impl_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_Expression_Interface.cc b/src/Linear_Expression_Interface.cc index 4a8f0a77b..b064538ee 100644 --- a/src/Linear_Expression_Interface.cc +++ b/src/Linear_Expression_Interface.cc @@ -1,6 +1,6 @@ /* Linear_Expression_Interface class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Interface_defs.hh b/src/Linear_Expression_Interface_defs.hh index 88e0c68af..e2d3b8f2b 100644 --- a/src/Linear_Expression_Interface_defs.hh +++ b/src/Linear_Expression_Interface_defs.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Interface class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Interface_types.hh b/src/Linear_Expression_Interface_types.hh index b525ae784..0a62b785c 100644 --- a/src/Linear_Expression_Interface_types.hh +++ b/src/Linear_Expression_Interface_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_Expression_defs.hh b/src/Linear_Expression_defs.hh index f3d0f39a3..02b43e399 100644 --- a/src/Linear_Expression_defs.hh +++ b/src/Linear_Expression_defs.hh @@ -1,6 +1,6 @@ /* Linear_Expression class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_inlines.hh b/src/Linear_Expression_inlines.hh index a552a4ddf..3641fe002 100644 --- a/src/Linear_Expression_inlines.hh +++ b/src/Linear_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Linear_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_types.hh b/src/Linear_Expression_types.hh index e1dbd177c..b2f216a9e 100644 --- a/src/Linear_Expression_types.hh +++ b/src/Linear_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_Form.cc b/src/Linear_Form.cc index 2b5ab24bf..8ed57e63c 100644 --- a/src/Linear_Form.cc +++ b/src/Linear_Form.cc @@ -1,6 +1,6 @@ /* Linear_Form class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Form_defs.hh b/src/Linear_Form_defs.hh index 33676c204..57d75c754 100644 --- a/src/Linear_Form_defs.hh +++ b/src/Linear_Form_defs.hh @@ -1,6 +1,6 @@ /* Linear_Form class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Form_inlines.hh b/src/Linear_Form_inlines.hh index 0a94bc2bc..2ab24b163 100644 --- a/src/Linear_Form_inlines.hh +++ b/src/Linear_Form_inlines.hh @@ -1,6 +1,6 @@ /* Linear_Form class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Form_templates.hh b/src/Linear_Form_templates.hh index ead553ea0..724b89f46 100644 --- a/src/Linear_Form_templates.hh +++ b/src/Linear_Form_templates.hh @@ -1,6 +1,6 @@ /* Linear_Form class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Form_types.hh b/src/Linear_Form_types.hh index f0200e09c..97a128246 100644 --- a/src/Linear_Form_types.hh +++ b/src/Linear_Form_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_System_defs.hh b/src/Linear_System_defs.hh index 97e020ceb..e2d5168c1 100644 --- a/src/Linear_System_defs.hh +++ b/src/Linear_System_defs.hh @@ -1,6 +1,6 @@ /* Linear_System class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_System_inlines.hh b/src/Linear_System_inlines.hh index f142d5309..f97971788 100644 --- a/src/Linear_System_inlines.hh +++ b/src/Linear_System_inlines.hh @@ -1,6 +1,6 @@ /* Linear_System class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_System_templates.hh b/src/Linear_System_templates.hh index 8a68f0f00..bc2884600 100644 --- a/src/Linear_System_templates.hh +++ b/src/Linear_System_templates.hh @@ -1,6 +1,6 @@ /* Linear_System class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_System_types.hh b/src/Linear_System_types.hh index 7e45c24ac..7a8355c09 100644 --- a/src/Linear_System_types.hh +++ b/src/Linear_System_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index b0cd12193..d025a28dc 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1,6 +1,6 @@ /* MIP_Problem class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/MIP_Problem_defs.hh b/src/MIP_Problem_defs.hh index ea8b2b961..ac4869018 100644 --- a/src/MIP_Problem_defs.hh +++ b/src/MIP_Problem_defs.hh @@ -1,6 +1,6 @@ /* MIP_Problem class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/MIP_Problem_inlines.hh b/src/MIP_Problem_inlines.hh index 7a41cdcab..66b51ae76 100644 --- a/src/MIP_Problem_inlines.hh +++ b/src/MIP_Problem_inlines.hh @@ -1,6 +1,6 @@ /* MIP_Problem class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/MIP_Problem_templates.hh b/src/MIP_Problem_templates.hh index 3b3d4c6de..123d2bc9e 100644 --- a/src/MIP_Problem_templates.hh +++ b/src/MIP_Problem_templates.hh @@ -1,6 +1,6 @@ /* MIP_Problem class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/MIP_Problem_types.hh b/src/MIP_Problem_types.hh index 060083584..0ec632f10 100644 --- a/src/MIP_Problem_types.hh +++ b/src/MIP_Problem_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Makefile.am b/src/Makefile.am index 272635b1d..8cd12b70f 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -1,6 +1,6 @@ # Automake source file for the Parma Polyhedra Library. # Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +# Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) # # This file is part of the Parma Polyhedra Library (PPL). # diff --git a/src/Matrix_defs.hh b/src/Matrix_defs.hh index 56f01cc39..02743b7c5 100644 --- a/src/Matrix_defs.hh +++ b/src/Matrix_defs.hh @@ -1,6 +1,6 @@ /* Matrix class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Matrix_inlines.hh b/src/Matrix_inlines.hh index 46498c189..1e7bee938 100644 --- a/src/Matrix_inlines.hh +++ b/src/Matrix_inlines.hh @@ -1,6 +1,6 @@ /* Matrix class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Matrix_templates.hh b/src/Matrix_templates.hh index d459a0243..e091eaa38 100644 --- a/src/Matrix_templates.hh +++ b/src/Matrix_templates.hh @@ -1,6 +1,6 @@ /* Matrix class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Matrix_types.hh b/src/Matrix_types.hh index a0027dd66..40e0185f9 100644 --- a/src/Matrix_types.hh +++ b/src/Matrix_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Multiplication_Floating_Point_Expression_defs.hh b/src/Multiplication_Floating_Point_Expression_defs.hh index f1965e84c..d660399da 100644 --- a/src/Multiplication_Floating_Point_Expression_defs.hh +++ b/src/Multiplication_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Multiplication_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Multiplication_Floating_Point_Expression_inlines.hh b/src/Multiplication_Floating_Point_Expression_inlines.hh index 9b6cb3958..4c4ffaff2 100644 --- a/src/Multiplication_Floating_Point_Expression_inlines.hh +++ b/src/Multiplication_Floating_Point_Expression_inlines.hh @@ -1,7 +1,7 @@ /* Multiplication_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Multiplication_Floating_Point_Expression_templates.hh b/src/Multiplication_Floating_Point_Expression_templates.hh index e18231737..762d7bd4c 100644 --- a/src/Multiplication_Floating_Point_Expression_templates.hh +++ b/src/Multiplication_Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Multiplication_Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Multiplication_Floating_Point_Expression_types.hh b/src/Multiplication_Floating_Point_Expression_types.hh index b4c0b658d..5e00f2953 100644 --- a/src/Multiplication_Floating_Point_Expression_types.hh +++ b/src/Multiplication_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/NNC_Polyhedron.cc b/src/NNC_Polyhedron.cc index 87abfb17d..65fb42191 100644 --- a/src/NNC_Polyhedron.cc +++ b/src/NNC_Polyhedron.cc @@ -1,6 +1,6 @@ /* NNC_Polyhedron class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/NNC_Polyhedron_defs.hh b/src/NNC_Polyhedron_defs.hh index 6b2e41f5b..67c7850ce 100644 --- a/src/NNC_Polyhedron_defs.hh +++ b/src/NNC_Polyhedron_defs.hh @@ -1,6 +1,6 @@ /* NNC_Polyhedron class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/NNC_Polyhedron_inlines.hh b/src/NNC_Polyhedron_inlines.hh index bd29e212b..3ef89ad6d 100644 --- a/src/NNC_Polyhedron_inlines.hh +++ b/src/NNC_Polyhedron_inlines.hh @@ -1,6 +1,6 @@ /* NNC_Polyhedron class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/NNC_Polyhedron_types.hh b/src/NNC_Polyhedron_types.hh index 5eb28b20a..23fd39070 100644 --- a/src/NNC_Polyhedron_types.hh +++ b/src/NNC_Polyhedron_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Numeric_Format_defs.hh b/src/Numeric_Format_defs.hh index 9d8816890..fcc1b7c69 100644 --- a/src/Numeric_Format_defs.hh +++ b/src/Numeric_Format_defs.hh @@ -1,6 +1,6 @@ /* Numeric format. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/OR_Matrix_defs.hh b/src/OR_Matrix_defs.hh index b89f09a24..02156469b 100644 --- a/src/OR_Matrix_defs.hh +++ b/src/OR_Matrix_defs.hh @@ -1,6 +1,6 @@ /* OR_Matrix class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh index 365d8b8f5..4b70d62c3 100644 --- a/src/OR_Matrix_inlines.hh +++ b/src/OR_Matrix_inlines.hh @@ -1,6 +1,6 @@ /* OR_Matrix class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/OR_Matrix_templates.hh b/src/OR_Matrix_templates.hh index ce34cc330..303677a83 100644 --- a/src/OR_Matrix_templates.hh +++ b/src/OR_Matrix_templates.hh @@ -1,6 +1,6 @@ /* OR_Matrix class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/OR_Matrix_types.hh b/src/OR_Matrix_types.hh index 52f935933..2b4676425 100644 --- a/src/OR_Matrix_types.hh +++ b/src/OR_Matrix_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Octagonal_Shape.cc b/src/Octagonal_Shape.cc index 5bd8cc01f..924f21efb 100644 --- a/src/Octagonal_Shape.cc +++ b/src/Octagonal_Shape.cc @@ -1,6 +1,6 @@ /* Octagonal_Shape class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Octagonal_Shape_defs.hh b/src/Octagonal_Shape_defs.hh index fae7ec908..6cff16b10 100644 --- a/src/Octagonal_Shape_defs.hh +++ b/src/Octagonal_Shape_defs.hh @@ -1,6 +1,6 @@ /* Octagonal_Shape class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Octagonal_Shape_inlines.hh b/src/Octagonal_Shape_inlines.hh index f99817d3f..361b56ba3 100644 --- a/src/Octagonal_Shape_inlines.hh +++ b/src/Octagonal_Shape_inlines.hh @@ -1,6 +1,6 @@ /* Octagonal_Shape class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Octagonal_Shape_templates.hh b/src/Octagonal_Shape_templates.hh index 287984120..f4e5ae978 100644 --- a/src/Octagonal_Shape_templates.hh +++ b/src/Octagonal_Shape_templates.hh @@ -1,6 +1,6 @@ /* Octagonal_Shape class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Octagonal_Shape_types.hh b/src/Octagonal_Shape_types.hh index 2c0af90c7..594433fc2 100644 --- a/src/Octagonal_Shape_types.hh +++ b/src/Octagonal_Shape_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Og_Status_idefs.hh b/src/Og_Status_idefs.hh index ee09c0d2f..c4bd28027 100644 --- a/src/Og_Status_idefs.hh +++ b/src/Og_Status_idefs.hh @@ -1,6 +1,6 @@ /* Octagonal_Shape<T>::Status class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Og_Status_inlines.hh b/src/Og_Status_inlines.hh index 4c7fd7a2d..228f79f3b 100644 --- a/src/Og_Status_inlines.hh +++ b/src/Og_Status_inlines.hh @@ -1,6 +1,6 @@ /* Octagonal_Shape<T>::Status class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Opposite_Floating_Point_Expression_defs.hh b/src/Opposite_Floating_Point_Expression_defs.hh index 280fd69f5..f853769e1 100644 --- a/src/Opposite_Floating_Point_Expression_defs.hh +++ b/src/Opposite_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Opposite_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Opposite_Floating_Point_Expression_inlines.hh b/src/Opposite_Floating_Point_Expression_inlines.hh index 2c49190f9..2e62b565d 100644 --- a/src/Opposite_Floating_Point_Expression_inlines.hh +++ b/src/Opposite_Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Opposite_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Opposite_Floating_Point_Expression_types.hh b/src/Opposite_Floating_Point_Expression_types.hh index 5951a53b6..fd8f3a44b 100644 --- a/src/Opposite_Floating_Point_Expression_types.hh +++ b/src/Opposite_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index f831e9dfa..047e88914 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -1,6 +1,6 @@ /* PIP_Problem class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Problem_defs.hh b/src/PIP_Problem_defs.hh index 3685144c2..c4f89d8bd 100644 --- a/src/PIP_Problem_defs.hh +++ b/src/PIP_Problem_defs.hh @@ -1,6 +1,6 @@ /* PIP_Problem class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Problem_inlines.hh b/src/PIP_Problem_inlines.hh index 05a217fbc..4f7d23457 100644 --- a/src/PIP_Problem_inlines.hh +++ b/src/PIP_Problem_inlines.hh @@ -1,6 +1,6 @@ /* PIP_Problem class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Problem_templates.hh b/src/PIP_Problem_templates.hh index b57c15581..2d414a804 100644 --- a/src/PIP_Problem_templates.hh +++ b/src/PIP_Problem_templates.hh @@ -1,6 +1,6 @@ /* PIP_Problem class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Problem_types.hh b/src/PIP_Problem_types.hh index 911abd331..a1f044f32 100644 --- a/src/PIP_Problem_types.hh +++ b/src/PIP_Problem_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 483d0aed4..069f0bb1e 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -1,6 +1,6 @@ /* PIP_Tree related class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Tree_defs.hh b/src/PIP_Tree_defs.hh index 58088bb29..c26d7eb90 100644 --- a/src/PIP_Tree_defs.hh +++ b/src/PIP_Tree_defs.hh @@ -1,6 +1,6 @@ /* PIP_Tree_Node class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Tree_inlines.hh b/src/PIP_Tree_inlines.hh index 32b56a82f..6e666d98a 100644 --- a/src/PIP_Tree_inlines.hh +++ b/src/PIP_Tree_inlines.hh @@ -1,6 +1,6 @@ /* PIP_Tree related class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/PIP_Tree_types.hh b/src/PIP_Tree_types.hh index b4a8f1106..2eb61ad71 100644 --- a/src/PIP_Tree_types.hh +++ b/src/PIP_Tree_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Partial_Function.cc b/src/Partial_Function.cc index e6a9ce35f..b20e03679 100644 --- a/src/Partial_Function.cc +++ b/src/Partial_Function.cc @@ -1,6 +1,6 @@ /* Implementation of class Partial_Function (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partial_Function_defs.hh b/src/Partial_Function_defs.hh index 376f79b6b..a621eef55 100644 --- a/src/Partial_Function_defs.hh +++ b/src/Partial_Function_defs.hh @@ -1,6 +1,6 @@ /* Partial_Function class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partial_Function_inlines.hh b/src/Partial_Function_inlines.hh index 1bb2c00cf..9a97147d7 100644 --- a/src/Partial_Function_inlines.hh +++ b/src/Partial_Function_inlines.hh @@ -1,6 +1,6 @@ /* Partial_Function class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partial_Function_types.hh b/src/Partial_Function_types.hh index ab1e5f9b5..647d13527 100644 --- a/src/Partial_Function_types.hh +++ b/src/Partial_Function_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Partially_Reduced_Product_defs.hh b/src/Partially_Reduced_Product_defs.hh index 2916f72cb..5f830bcac 100644 --- a/src/Partially_Reduced_Product_defs.hh +++ b/src/Partially_Reduced_Product_defs.hh @@ -1,6 +1,6 @@ /* Partially_Reduced_Product class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partially_Reduced_Product_inlines.hh b/src/Partially_Reduced_Product_inlines.hh index e924ebfbd..591fbbaf4 100644 --- a/src/Partially_Reduced_Product_inlines.hh +++ b/src/Partially_Reduced_Product_inlines.hh @@ -1,6 +1,6 @@ /* Partially_Reduced_Product class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partially_Reduced_Product_templates.hh b/src/Partially_Reduced_Product_templates.hh index 835943dae..791ece78c 100644 --- a/src/Partially_Reduced_Product_templates.hh +++ b/src/Partially_Reduced_Product_templates.hh @@ -1,7 +1,7 @@ /* Partially_Reduced_Product class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Partially_Reduced_Product_types.hh b/src/Partially_Reduced_Product_types.hh index 72cfa5aa5..9db15b9f3 100644 --- a/src/Partially_Reduced_Product_types.hh +++ b/src/Partially_Reduced_Product_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Pending_Element_defs.hh b/src/Pending_Element_defs.hh index d06a3b448..aabe2a9bc 100644 --- a/src/Pending_Element_defs.hh +++ b/src/Pending_Element_defs.hh @@ -1,6 +1,6 @@ /* Pending_Element class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pending_Element_inlines.hh b/src/Pending_Element_inlines.hh index 5032adf85..92d646d74 100644 --- a/src/Pending_Element_inlines.hh +++ b/src/Pending_Element_inlines.hh @@ -1,6 +1,6 @@ /* Pending_Element class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pending_Element_types.hh b/src/Pending_Element_types.hh index cc065a38a..0bc1b6aa5 100644 --- a/src/Pending_Element_types.hh +++ b/src/Pending_Element_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Pending_List_defs.hh b/src/Pending_List_defs.hh index c7e1d43f7..171990ed0 100644 --- a/src/Pending_List_defs.hh +++ b/src/Pending_List_defs.hh @@ -1,6 +1,6 @@ /* Pending_List class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pending_List_inlines.hh b/src/Pending_List_inlines.hh index 55c643b37..20c62b1b7 100644 --- a/src/Pending_List_inlines.hh +++ b/src/Pending_List_inlines.hh @@ -1,6 +1,6 @@ /* Pending_List class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pending_List_templates.hh b/src/Pending_List_templates.hh index 23650639e..e984ce224 100644 --- a/src/Pending_List_templates.hh +++ b/src/Pending_List_templates.hh @@ -1,6 +1,6 @@ /* Pending_List class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pending_List_types.hh b/src/Pending_List_types.hh index 898342060..af6c6baf6 100644 --- a/src/Pending_List_types.hh +++ b/src/Pending_List_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Ph_Status.cc b/src/Ph_Status.cc index 03c3d1d57..eb9dd8e8c 100644 --- a/src/Ph_Status.cc +++ b/src/Ph_Status.cc @@ -1,6 +1,6 @@ /* Polyhedron::Status class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ph_Status_idefs.hh b/src/Ph_Status_idefs.hh index 22b6bb3f1..1c3128faa 100644 --- a/src/Ph_Status_idefs.hh +++ b/src/Ph_Status_idefs.hh @@ -1,6 +1,6 @@ /* Polyhedron::Status class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ph_Status_inlines.hh b/src/Ph_Status_inlines.hh index 0c828dea4..a4ce90bc0 100644 --- a/src/Ph_Status_inlines.hh +++ b/src/Ph_Status_inlines.hh @@ -1,6 +1,6 @@ /* Polyhedron::Status class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Ask_Tell.cc b/src/Pointset_Ask_Tell.cc index 845670d2c..88bc98b2f 100644 --- a/src/Pointset_Ask_Tell.cc +++ b/src/Pointset_Ask_Tell.cc @@ -1,6 +1,6 @@ /* Pointset_Ask_Tell class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Ask_Tell_defs.hh b/src/Pointset_Ask_Tell_defs.hh index 03786acbc..bd867617e 100644 --- a/src/Pointset_Ask_Tell_defs.hh +++ b/src/Pointset_Ask_Tell_defs.hh @@ -1,6 +1,6 @@ /* Pointset_Ask_Tell class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Ask_Tell_inlines.hh b/src/Pointset_Ask_Tell_inlines.hh index 31a09f2f3..293e1afed 100644 --- a/src/Pointset_Ask_Tell_inlines.hh +++ b/src/Pointset_Ask_Tell_inlines.hh @@ -1,6 +1,6 @@ /* Pointset_Ask_Tell class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Ask_Tell_templates.hh b/src/Pointset_Ask_Tell_templates.hh index e1be3e109..9820029a0 100644 --- a/src/Pointset_Ask_Tell_templates.hh +++ b/src/Pointset_Ask_Tell_templates.hh @@ -1,6 +1,6 @@ /* Pointset_Ask_Tell class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Ask_Tell_types.hh b/src/Pointset_Ask_Tell_types.hh index abc03011b..e5227b31f 100644 --- a/src/Pointset_Ask_Tell_types.hh +++ b/src/Pointset_Ask_Tell_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Pointset_Powerset.cc b/src/Pointset_Powerset.cc index ee1676181..dfde5beac 100644 --- a/src/Pointset_Powerset.cc +++ b/src/Pointset_Powerset.cc @@ -1,6 +1,6 @@ /* Pointset_Powerset class implementation: non-inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Powerset_defs.hh b/src/Pointset_Powerset_defs.hh index 79d749a13..7d33bf8cd 100644 --- a/src/Pointset_Powerset_defs.hh +++ b/src/Pointset_Powerset_defs.hh @@ -1,6 +1,6 @@ /* Pointset_Powerset class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Powerset_inlines.hh b/src/Pointset_Powerset_inlines.hh index 3509a34e3..a09a26541 100644 --- a/src/Pointset_Powerset_inlines.hh +++ b/src/Pointset_Powerset_inlines.hh @@ -1,6 +1,6 @@ /* Pointset_Powerset class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Powerset_templates.hh b/src/Pointset_Powerset_templates.hh index 00d1a19f4..a537e60cf 100644 --- a/src/Pointset_Powerset_templates.hh +++ b/src/Pointset_Powerset_templates.hh @@ -1,6 +1,6 @@ /* Pointset_Powerset class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Pointset_Powerset_types.hh b/src/Pointset_Powerset_types.hh index 637a52a0f..f52e4f576 100644 --- a/src/Pointset_Powerset_types.hh +++ b/src/Pointset_Powerset_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Poly_Con_Relation.cc b/src/Poly_Con_Relation.cc index 93fbe7411..3a8f0f7a7 100644 --- a/src/Poly_Con_Relation.cc +++ b/src/Poly_Con_Relation.cc @@ -1,6 +1,6 @@ /* Poly_Con_Relation class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Con_Relation_defs.hh b/src/Poly_Con_Relation_defs.hh index f78cc4ca6..73034ffdb 100644 --- a/src/Poly_Con_Relation_defs.hh +++ b/src/Poly_Con_Relation_defs.hh @@ -1,6 +1,6 @@ /* Poly_Con_Relation class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Con_Relation_inlines.hh b/src/Poly_Con_Relation_inlines.hh index 17cbe83ff..b9ba49ce5 100644 --- a/src/Poly_Con_Relation_inlines.hh +++ b/src/Poly_Con_Relation_inlines.hh @@ -1,6 +1,6 @@ /* Poly_Con_Relation class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Con_Relation_types.hh b/src/Poly_Con_Relation_types.hh index 5f335344c..c20d76217 100644 --- a/src/Poly_Con_Relation_types.hh +++ b/src/Poly_Con_Relation_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Poly_Gen_Relation.cc b/src/Poly_Gen_Relation.cc index bec13575a..180155e3b 100644 --- a/src/Poly_Gen_Relation.cc +++ b/src/Poly_Gen_Relation.cc @@ -1,6 +1,6 @@ /* Poly_Gen_Relation class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Gen_Relation_defs.hh b/src/Poly_Gen_Relation_defs.hh index 553d46fac..13e5d0087 100644 --- a/src/Poly_Gen_Relation_defs.hh +++ b/src/Poly_Gen_Relation_defs.hh @@ -1,6 +1,6 @@ /* Poly_Gen_Relation class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Gen_Relation_inlines.hh b/src/Poly_Gen_Relation_inlines.hh index 08e5266be..1d6e99129 100644 --- a/src/Poly_Gen_Relation_inlines.hh +++ b/src/Poly_Gen_Relation_inlines.hh @@ -1,6 +1,6 @@ /* Poly_Gen_Relation class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Poly_Gen_Relation_types.hh b/src/Poly_Gen_Relation_types.hh index e2f3ae6cb..d7f5ec42e 100644 --- a/src/Poly_Gen_Relation_types.hh +++ b/src/Poly_Gen_Relation_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Polyhedron_chdims.cc b/src/Polyhedron_chdims.cc index 3024051a7..10279d3c0 100644 --- a/src/Polyhedron_chdims.cc +++ b/src/Polyhedron_chdims.cc @@ -1,7 +1,7 @@ /* Polyhedron class implementation (non-inline operators that may change the dimension of the vector space). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_chdims_templates.hh b/src/Polyhedron_chdims_templates.hh index 6468485dd..77692c366 100644 --- a/src/Polyhedron_chdims_templates.hh +++ b/src/Polyhedron_chdims_templates.hh @@ -1,7 +1,7 @@ /* Polyhedron class implementation (non-inline template operators that may change the dimension of the vector space). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_conversion_templates.hh b/src/Polyhedron_conversion_templates.hh index 5683368df..392e72d42 100644 --- a/src/Polyhedron_conversion_templates.hh +++ b/src/Polyhedron_conversion_templates.hh @@ -1,6 +1,6 @@ /* Polyhedron class implementation: conversion(). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_defs.hh b/src/Polyhedron_defs.hh index aadc0cc34..c967f42cc 100644 --- a/src/Polyhedron_defs.hh +++ b/src/Polyhedron_defs.hh @@ -1,6 +1,6 @@ /* Polyhedron class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_inlines.hh b/src/Polyhedron_inlines.hh index d7a94d8b0..0142d0856 100644 --- a/src/Polyhedron_inlines.hh +++ b/src/Polyhedron_inlines.hh @@ -1,6 +1,6 @@ /* Polyhedron class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_minimize_templates.hh b/src/Polyhedron_minimize_templates.hh index 0be4d1073..7a268f86c 100644 --- a/src/Polyhedron_minimize_templates.hh +++ b/src/Polyhedron_minimize_templates.hh @@ -1,6 +1,6 @@ /* Polyhedron class implementation: minimize() and add_and_minimize(). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 5657e32ba..06f09778f 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1,7 +1,7 @@ /* Polyhedron class implementation (non-inline private or protected functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 0c1b58cc9..12190fe88 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -1,6 +1,6 @@ /* Polyhedron class implementation (non-inline public functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_simplify_templates.hh b/src/Polyhedron_simplify_templates.hh index df6f2988a..9019d728f 100644 --- a/src/Polyhedron_simplify_templates.hh +++ b/src/Polyhedron_simplify_templates.hh @@ -1,6 +1,6 @@ /* Polyhedron class implementation: simplify(). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_templates.hh b/src/Polyhedron_templates.hh index 492857ebe..e604fc106 100644 --- a/src/Polyhedron_templates.hh +++ b/src/Polyhedron_templates.hh @@ -1,6 +1,6 @@ /* Polyhedron class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_types.hh b/src/Polyhedron_types.hh index 5f7e822b9..05e67f567 100644 --- a/src/Polyhedron_types.hh +++ b/src/Polyhedron_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Polyhedron_widenings.cc b/src/Polyhedron_widenings.cc index 3f234e5b9..d3050c7a7 100644 --- a/src/Polyhedron_widenings.cc +++ b/src/Polyhedron_widenings.cc @@ -1,7 +1,7 @@ /* Polyhedron class implementation (non-inline widening-related member functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Powerset_defs.hh b/src/Powerset_defs.hh index 6c5eb9efa..1fae6370c 100644 --- a/src/Powerset_defs.hh +++ b/src/Powerset_defs.hh @@ -1,6 +1,6 @@ /* Powerset class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Powerset_inlines.hh b/src/Powerset_inlines.hh index 9811a31cf..ca473a234 100644 --- a/src/Powerset_inlines.hh +++ b/src/Powerset_inlines.hh @@ -1,6 +1,6 @@ /* Powerset class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Powerset_templates.hh b/src/Powerset_templates.hh index c844f1224..bb0556bbb 100644 --- a/src/Powerset_templates.hh +++ b/src/Powerset_templates.hh @@ -1,6 +1,6 @@ /* Powerset class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Powerset_types.hh b/src/Powerset_types.hh index 17077522a..30deeb684 100644 --- a/src/Powerset_types.hh +++ b/src/Powerset_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Ptr_Iterator_defs.hh b/src/Ptr_Iterator_defs.hh index a769dac14..a2dc3fd17 100644 --- a/src/Ptr_Iterator_defs.hh +++ b/src/Ptr_Iterator_defs.hh @@ -1,6 +1,6 @@ /* Ptr_Iterator class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ptr_Iterator_inlines.hh b/src/Ptr_Iterator_inlines.hh index b2c1897b4..dc1bdca95 100644 --- a/src/Ptr_Iterator_inlines.hh +++ b/src/Ptr_Iterator_inlines.hh @@ -1,6 +1,6 @@ /* Ptr_Iterator class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Ptr_Iterator_types.hh b/src/Ptr_Iterator_types.hh index f710f722b..f696d8208 100644 --- a/src/Ptr_Iterator_types.hh +++ b/src/Ptr_Iterator_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Rational_Box.hh b/src/Rational_Box.hh index bf8d5733e..374a06093 100644 --- a/src/Rational_Box.hh +++ b/src/Rational_Box.hh @@ -1,6 +1,6 @@ /* Rational_Box class declaration and implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Rational_Interval.hh b/src/Rational_Interval.hh index 012280ac1..ec8331f10 100644 --- a/src/Rational_Interval.hh +++ b/src/Rational_Interval.hh @@ -1,6 +1,6 @@ /* Rational_Interval class declaration and implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Result_defs.hh b/src/Result_defs.hh index 876ff73ff..860a7b7f6 100644 --- a/src/Result_defs.hh +++ b/src/Result_defs.hh @@ -1,6 +1,6 @@ /* Result enum and supporting function declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Result_inlines.hh b/src/Result_inlines.hh index 2f2208265..cb90b2dfd 100644 --- a/src/Result_inlines.hh +++ b/src/Result_inlines.hh @@ -1,6 +1,6 @@ /* Result supporting functions implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Rounding_Dir_defs.hh b/src/Rounding_Dir_defs.hh index 4f8fc757d..82b403e91 100644 --- a/src/Rounding_Dir_defs.hh +++ b/src/Rounding_Dir_defs.hh @@ -1,6 +1,6 @@ /* Declaration of Rounding_Dir and related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Rounding_Dir_inlines.hh b/src/Rounding_Dir_inlines.hh index 8b50802f9..4c11316fd 100644 --- a/src/Rounding_Dir_inlines.hh +++ b/src/Rounding_Dir_inlines.hh @@ -1,6 +1,6 @@ /* Inline functions operating on enum Rounding_Dir values. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Scalar_Products.cc b/src/Scalar_Products.cc index d9f9a1487..b1729b0ae 100644 --- a/src/Scalar_Products.cc +++ b/src/Scalar_Products.cc @@ -1,6 +1,6 @@ /* Scalar_Products class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Scalar_Products_defs.hh b/src/Scalar_Products_defs.hh index 4c001d72a..9d3922680 100644 --- a/src/Scalar_Products_defs.hh +++ b/src/Scalar_Products_defs.hh @@ -1,6 +1,6 @@ /* Scalar_Products class definition. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Scalar_Products_inlines.hh b/src/Scalar_Products_inlines.hh index 70409c4f5..3ab91af1c 100644 --- a/src/Scalar_Products_inlines.hh +++ b/src/Scalar_Products_inlines.hh @@ -1,6 +1,6 @@ /* Scalar_Products class implementation (inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Scalar_Products_types.hh b/src/Scalar_Products_types.hh index 33c5a46a8..4003f3714 100644 --- a/src/Scalar_Products_types.hh +++ b/src/Scalar_Products_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Slow_Copy.hh b/src/Slow_Copy.hh index e3812523f..e618f8f88 100644 --- a/src/Slow_Copy.hh +++ b/src/Slow_Copy.hh @@ -1,6 +1,6 @@ /* Basic Slow_Copy classes declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sparse_Row.cc b/src/Sparse_Row.cc index fb8be0389..6edee2728 100644 --- a/src/Sparse_Row.cc +++ b/src/Sparse_Row.cc @@ -1,6 +1,6 @@ /* Sparse_Row class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sparse_Row_defs.hh b/src/Sparse_Row_defs.hh index 85fdc28c1..a8ee19a57 100644 --- a/src/Sparse_Row_defs.hh +++ b/src/Sparse_Row_defs.hh @@ -1,6 +1,6 @@ /* Sparse_Row class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sparse_Row_inlines.hh b/src/Sparse_Row_inlines.hh index 83d9d7acf..1d4ba74e1 100644 --- a/src/Sparse_Row_inlines.hh +++ b/src/Sparse_Row_inlines.hh @@ -1,6 +1,6 @@ /* Sparse_Row class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sparse_Row_templates.hh b/src/Sparse_Row_templates.hh index bc775ff02..c703a3eb4 100644 --- a/src/Sparse_Row_templates.hh +++ b/src/Sparse_Row_templates.hh @@ -1,6 +1,6 @@ /* Sparse_Row class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sparse_Row_types.hh b/src/Sparse_Row_types.hh index adc1d9da7..e8b60f91e 100644 --- a/src/Sparse_Row_types.hh +++ b/src/Sparse_Row_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Sum_Floating_Point_Expression_defs.hh b/src/Sum_Floating_Point_Expression_defs.hh index 001ad5f96..5d4e02ed2 100644 --- a/src/Sum_Floating_Point_Expression_defs.hh +++ b/src/Sum_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Sum_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sum_Floating_Point_Expression_inlines.hh b/src/Sum_Floating_Point_Expression_inlines.hh index c96fec875..8b91262e1 100644 --- a/src/Sum_Floating_Point_Expression_inlines.hh +++ b/src/Sum_Floating_Point_Expression_inlines.hh @@ -1,7 +1,7 @@ /* Sum_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sum_Floating_Point_Expression_templates.hh b/src/Sum_Floating_Point_Expression_templates.hh index ae6f0bd99..e1d4a624f 100644 --- a/src/Sum_Floating_Point_Expression_templates.hh +++ b/src/Sum_Floating_Point_Expression_templates.hh @@ -1,7 +1,7 @@ /* Sum_Floating_Point_Expression class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Sum_Floating_Point_Expression_types.hh b/src/Sum_Floating_Point_Expression_types.hh index 3d4db6796..4597db7e7 100644 --- a/src/Sum_Floating_Point_Expression_types.hh +++ b/src/Sum_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Swapping_Vector_defs.hh b/src/Swapping_Vector_defs.hh index 56609bb7c..870ac65ab 100644 --- a/src/Swapping_Vector_defs.hh +++ b/src/Swapping_Vector_defs.hh @@ -1,6 +1,6 @@ /* Swapping_Vector class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Swapping_Vector_inlines.hh b/src/Swapping_Vector_inlines.hh index b02e82574..875410227 100644 --- a/src/Swapping_Vector_inlines.hh +++ b/src/Swapping_Vector_inlines.hh @@ -1,6 +1,6 @@ /* Swapping_Vector class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Swapping_Vector_types.hh b/src/Swapping_Vector_types.hh index 5135027a8..98a587ecb 100644 --- a/src/Swapping_Vector_types.hh +++ b/src/Swapping_Vector_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Temp_defs.hh b/src/Temp_defs.hh index c6a13089f..fbffd7f7d 100644 --- a/src/Temp_defs.hh +++ b/src/Temp_defs.hh @@ -1,6 +1,6 @@ /* Temp_* classes declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Temp_inlines.hh b/src/Temp_inlines.hh index ccde121e6..3767e56b8 100644 --- a/src/Temp_inlines.hh +++ b/src/Temp_inlines.hh @@ -1,6 +1,6 @@ /* Temp_* classes implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Temp_templates.hh b/src/Temp_templates.hh index 741a40cc8..fe31aa0bd 100644 --- a/src/Temp_templates.hh +++ b/src/Temp_templates.hh @@ -1,6 +1,6 @@ /* Temp_* classes implementation: non-inline template members. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Threshold_Watcher.cc b/src/Threshold_Watcher.cc index 64c6d6d02..4444a6375 100644 --- a/src/Threshold_Watcher.cc +++ b/src/Threshold_Watcher.cc @@ -1,7 +1,7 @@ /* Threshold_Watcher and associated classes' implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Threshold_Watcher_defs.hh b/src/Threshold_Watcher_defs.hh index a28529e8f..172c20830 100644 --- a/src/Threshold_Watcher_defs.hh +++ b/src/Threshold_Watcher_defs.hh @@ -1,6 +1,6 @@ /* Threshold_Watcher and associated classes' declaration and inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Threshold_Watcher_inlines.hh b/src/Threshold_Watcher_inlines.hh index f04fe4f92..5e7c1dee4 100644 --- a/src/Threshold_Watcher_inlines.hh +++ b/src/Threshold_Watcher_inlines.hh @@ -1,6 +1,6 @@ /* Threshold_Watcher and associated classes' implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Threshold_Watcher_templates.hh b/src/Threshold_Watcher_templates.hh index 5c619d1f6..1f3d5e378 100644 --- a/src/Threshold_Watcher_templates.hh +++ b/src/Threshold_Watcher_templates.hh @@ -1,6 +1,6 @@ /* Threshold_Watcher and associated classes'. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Threshold_Watcher_types.hh b/src/Threshold_Watcher_types.hh index 9003f9ff9..48dbb03cd 100644 --- a/src/Threshold_Watcher_types.hh +++ b/src/Threshold_Watcher_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Time.cc b/src/Time.cc index 2ac63b477..1bcf4c3c0 100644 --- a/src/Time.cc +++ b/src/Time.cc @@ -1,6 +1,6 @@ /* Time class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Time_defs.hh b/src/Time_defs.hh index d7542c67a..9aced2566 100644 --- a/src/Time_defs.hh +++ b/src/Time_defs.hh @@ -1,6 +1,6 @@ /* Time class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Time_inlines.hh b/src/Time_inlines.hh index af4bc5bc9..2485f7cf8 100644 --- a/src/Time_inlines.hh +++ b/src/Time_inlines.hh @@ -1,6 +1,6 @@ /* Time class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Time_types.hh b/src/Time_types.hh index d82822e80..1551ebcdb 100644 --- a/src/Time_types.hh +++ b/src/Time_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Topology_types.hh b/src/Topology_types.hh index ad0da8461..7a60cc1f0 100644 --- a/src/Topology_types.hh +++ b/src/Topology_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Variable.cc b/src/Variable.cc index 086e06228..67c386c11 100644 --- a/src/Variable.cc +++ b/src/Variable.cc @@ -1,6 +1,6 @@ /* Variable class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variable_Floating_Point_Expression_defs.hh b/src/Variable_Floating_Point_Expression_defs.hh index 3a008796e..81dde48ec 100644 --- a/src/Variable_Floating_Point_Expression_defs.hh +++ b/src/Variable_Floating_Point_Expression_defs.hh @@ -1,7 +1,7 @@ /* Declarations for the Variable_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variable_Floating_Point_Expression_inlines.hh b/src/Variable_Floating_Point_Expression_inlines.hh index 0a535374f..397ef5765 100644 --- a/src/Variable_Floating_Point_Expression_inlines.hh +++ b/src/Variable_Floating_Point_Expression_inlines.hh @@ -1,6 +1,6 @@ /* Variable_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variable_Floating_Point_Expression_types.hh b/src/Variable_Floating_Point_Expression_types.hh index 6ac12aa22..3c9999e7b 100644 --- a/src/Variable_Floating_Point_Expression_types.hh +++ b/src/Variable_Floating_Point_Expression_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Variable_defs.hh b/src/Variable_defs.hh index e5a6a54d9..a384dcc08 100644 --- a/src/Variable_defs.hh +++ b/src/Variable_defs.hh @@ -1,6 +1,6 @@ /* Variable class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variable_inlines.hh b/src/Variable_inlines.hh index cf3df7400..03d8908e4 100644 --- a/src/Variable_inlines.hh +++ b/src/Variable_inlines.hh @@ -1,6 +1,6 @@ /* Variable class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variable_types.hh b/src/Variable_types.hh index 789b1ec48..df20b901b 100644 --- a/src/Variable_types.hh +++ b/src/Variable_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Variables_Set.cc b/src/Variables_Set.cc index bed111ea8..85709248d 100644 --- a/src/Variables_Set.cc +++ b/src/Variables_Set.cc @@ -1,6 +1,6 @@ /* Variables_Set class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variables_Set_defs.hh b/src/Variables_Set_defs.hh index 12c15b88b..a4af8c974 100644 --- a/src/Variables_Set_defs.hh +++ b/src/Variables_Set_defs.hh @@ -1,6 +1,6 @@ /* Variables_Set class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variables_Set_inlines.hh b/src/Variables_Set_inlines.hh index 39868d238..0f1c467e4 100644 --- a/src/Variables_Set_inlines.hh +++ b/src/Variables_Set_inlines.hh @@ -1,6 +1,6 @@ /* Variables_Set class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Variables_Set_types.hh b/src/Variables_Set_types.hh index c8561ad2a..5cc64569b 100644 --- a/src/Variables_Set_types.hh +++ b/src/Variables_Set_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/WRD_coefficient_types_defs.hh b/src/WRD_coefficient_types_defs.hh index fa21ff420..f9cf6e2a5 100644 --- a/src/WRD_coefficient_types_defs.hh +++ b/src/WRD_coefficient_types_defs.hh @@ -1,6 +1,6 @@ /* Coefficient types of weakly-relational domains: declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/WRD_coefficient_types_inlines.hh b/src/WRD_coefficient_types_inlines.hh index b30789c50..2a8051e51 100644 --- a/src/WRD_coefficient_types_inlines.hh +++ b/src/WRD_coefficient_types_inlines.hh @@ -1,6 +1,6 @@ /* Coefficient types of weakly-relational domains: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Watchdog.cc b/src/Watchdog.cc index 1cffdf8d6..7985de89f 100644 --- a/src/Watchdog.cc +++ b/src/Watchdog.cc @@ -1,6 +1,6 @@ /* Watchdog and associated classes' implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Watchdog_defs.hh b/src/Watchdog_defs.hh index dd08c88b8..c39b4ddc3 100644 --- a/src/Watchdog_defs.hh +++ b/src/Watchdog_defs.hh @@ -1,6 +1,6 @@ /* Watchdog and associated classes' declaration and inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Watchdog_inlines.hh b/src/Watchdog_inlines.hh index 824492250..cab18e43e 100644 --- a/src/Watchdog_inlines.hh +++ b/src/Watchdog_inlines.hh @@ -1,6 +1,6 @@ /* Watchdog and associated classes' implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Watchdog_types.hh b/src/Watchdog_types.hh index 59436e1a5..68d79a377 100644 --- a/src/Watchdog_types.hh +++ b/src/Watchdog_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Weight_Profiler.cc b/src/Weight_Profiler.cc index ae85efc5d..153eaad3f 100644 --- a/src/Weight_Profiler.cc +++ b/src/Weight_Profiler.cc @@ -1,6 +1,6 @@ /* Weight_Profiler class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Weight_Profiler_defs.hh b/src/Weight_Profiler_defs.hh index fd9d49cba..68e9cb553 100644 --- a/src/Weight_Profiler_defs.hh +++ b/src/Weight_Profiler_defs.hh @@ -1,6 +1,6 @@ /* Weight_Profiler class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Widening_Function_defs.hh b/src/Widening_Function_defs.hh index 14bd7c1cb..f2611b1e8 100644 --- a/src/Widening_Function_defs.hh +++ b/src/Widening_Function_defs.hh @@ -1,6 +1,6 @@ /* Widening_Function class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Widening_Function_inlines.hh b/src/Widening_Function_inlines.hh index 85044f103..8b46af273 100644 --- a/src/Widening_Function_inlines.hh +++ b/src/Widening_Function_inlines.hh @@ -1,6 +1,6 @@ /* Widening_Function class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Widening_Function_types.hh b/src/Widening_Function_types.hh index 7931150e9..54a7cdb90 100644 --- a/src/Widening_Function_types.hh +++ b/src/Widening_Function_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/algorithms.hh b/src/algorithms.hh index 756e5614e..333240c4c 100644 --- a/src/algorithms.hh +++ b/src/algorithms.hh @@ -1,6 +1,6 @@ /* A collection of useful convex polyhedra algorithms: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/assert.cc b/src/assert.cc index 284d296b4..fe2cdf087 100644 --- a/src/assert.cc +++ b/src/assert.cc @@ -1,6 +1,6 @@ /* Definitions of assert-like functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/assert.hh b/src/assert.hh index 3c64266ac..c4fe5ffeb 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -1,6 +1,6 @@ /* Implementation of PPL assert-like macros. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/assign_or_swap.hh b/src/assign_or_swap.hh index 3acdfe5fa..53e97e9d6 100644 --- a/src/assign_or_swap.hh +++ b/src/assign_or_swap.hh @@ -1,6 +1,6 @@ /* The assign_or_swap() utility functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/c_streambuf.cc b/src/c_streambuf.cc index 085928a56..e3fcf1586 100644 --- a/src/c_streambuf.cc +++ b/src/c_streambuf.cc @@ -1,6 +1,6 @@ /* c_streambuf class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/c_streambuf_defs.hh b/src/c_streambuf_defs.hh index 3e301aace..0bbf9e6e6 100644 --- a/src/c_streambuf_defs.hh +++ b/src/c_streambuf_defs.hh @@ -1,6 +1,6 @@ /* c_streambuf class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/c_streambuf_inlines.hh b/src/c_streambuf_inlines.hh index d15af7942..5cc069a49 100644 --- a/src/c_streambuf_inlines.hh +++ b/src/c_streambuf_inlines.hh @@ -1,6 +1,6 @@ /* c_streambuf class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/c_streambuf_types.hh b/src/c_streambuf_types.hh index ece3919bd..c5bad414f 100644 --- a/src/c_streambuf_types.hh +++ b/src/c_streambuf_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/checked.cc b/src/checked.cc index 124c979b7..b474142b7 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -1,6 +1,6 @@ /* Helper functions for checked numbers. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_defs.hh b/src/checked_defs.hh index 2feab4a38..f011628be 100644 --- a/src/checked_defs.hh +++ b/src/checked_defs.hh @@ -1,6 +1,6 @@ /* Abstract checked arithmetic function container. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_ext_defs.hh b/src/checked_ext_defs.hh index ad7aef191..272847306 100644 --- a/src/checked_ext_defs.hh +++ b/src/checked_ext_defs.hh @@ -1,6 +1,6 @@ /* Checked extended arithmetic functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_ext_inlines.hh b/src/checked_ext_inlines.hh index 1306b7cb3..2f6a9b5c1 100644 --- a/src/checked_ext_inlines.hh +++ b/src/checked_ext_inlines.hh @@ -1,6 +1,6 @@ /* Checked extended arithmetic functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_float_inlines.hh b/src/checked_float_inlines.hh index e603f33ee..b953742b2 100644 --- a/src/checked_float_inlines.hh +++ b/src/checked_float_inlines.hh @@ -1,6 +1,6 @@ /* Specialized "checked" functions for native floating-point numbers. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_inlines.hh b/src/checked_inlines.hh index acc1a8ba3..4537c9b47 100644 --- a/src/checked_inlines.hh +++ b/src/checked_inlines.hh @@ -1,6 +1,6 @@ /* Abstract checked arithmetic functions: fall-backs. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_int_inlines.hh b/src/checked_int_inlines.hh index e92d8064c..35bf5549a 100644 --- a/src/checked_int_inlines.hh +++ b/src/checked_int_inlines.hh @@ -1,6 +1,6 @@ /* Specialized "checked" functions for native integer numbers. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_mpq_inlines.hh b/src/checked_mpq_inlines.hh index 86d22182f..fe8d3b459 100644 --- a/src/checked_mpq_inlines.hh +++ b/src/checked_mpq_inlines.hh @@ -1,6 +1,6 @@ /* Specialized "checked" functions for GMP's mpq_class numbers. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_mpz_inlines.hh b/src/checked_mpz_inlines.hh index 6d7b6091d..044f99fde 100644 --- a/src/checked_mpz_inlines.hh +++ b/src/checked_mpz_inlines.hh @@ -1,6 +1,6 @@ /* Specialized "checked" functions for GMP's mpz_class numbers. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/checked_numeric_limits.hh b/src/checked_numeric_limits.hh index 479c28c3b..b5f410c5c 100644 --- a/src/checked_numeric_limits.hh +++ b/src/checked_numeric_limits.hh @@ -1,6 +1,6 @@ /* Specializations of std::numeric_limits for "checked" types. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/compiler.hh b/src/compiler.hh index 578b83b65..840620a86 100644 --- a/src/compiler.hh +++ b/src/compiler.hh @@ -1,6 +1,6 @@ /* C++ compiler related stuff. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/distances_defs.hh b/src/distances_defs.hh index e8f16ee82..4803f8f24 100644 --- a/src/distances_defs.hh +++ b/src/distances_defs.hh @@ -1,6 +1,6 @@ /* Class declarations for several distances. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/distances_inlines.hh b/src/distances_inlines.hh index 40df2fc76..279a34596 100644 --- a/src/distances_inlines.hh +++ b/src/distances_inlines.hh @@ -1,6 +1,6 @@ /* Inline functions implementing distances. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/distances_types.hh b/src/distances_types.hh index e9a79959d..f8d5892d5 100644 --- a/src/distances_types.hh +++ b/src/distances_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/fpu-c99_inlines.hh b/src/fpu-c99_inlines.hh index bf0ce98e2..edc8f40eb 100644 --- a/src/fpu-c99_inlines.hh +++ b/src/fpu-c99_inlines.hh @@ -1,6 +1,6 @@ /* C99 Floating point unit related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu-ia32.cc b/src/fpu-ia32.cc index 86634c332..9c2fad09d 100644 --- a/src/fpu-ia32.cc +++ b/src/fpu-ia32.cc @@ -1,6 +1,6 @@ /* IA-32 floating point unit non-inline related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu-ia32_inlines.hh b/src/fpu-ia32_inlines.hh index 54ba62d2e..acc87fa4d 100644 --- a/src/fpu-ia32_inlines.hh +++ b/src/fpu-ia32_inlines.hh @@ -1,6 +1,6 @@ /* IA-32 floating point unit inline related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu-none_inlines.hh b/src/fpu-none_inlines.hh index 4961b7985..97da109d2 100644 --- a/src/fpu-none_inlines.hh +++ b/src/fpu-none_inlines.hh @@ -1,6 +1,6 @@ /* Null floating point unit related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu-sparc_inlines.hh b/src/fpu-sparc_inlines.hh index 0c8f5f74f..969a84009 100644 --- a/src/fpu-sparc_inlines.hh +++ b/src/fpu-sparc_inlines.hh @@ -1,6 +1,6 @@ /* SPARC floating point unit related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu_defs.hh b/src/fpu_defs.hh index 3c1bbadb5..dce91e4af 100644 --- a/src/fpu_defs.hh +++ b/src/fpu_defs.hh @@ -1,6 +1,6 @@ /* Floating point unit related functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/fpu_types.hh b/src/fpu_types.hh index 5e719b126..e76c3a900 100644 --- a/src/fpu_types.hh +++ b/src/fpu_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/globals.cc b/src/globals.cc index 9a3b4fe1d..a6f351711 100644 --- a/src/globals.cc +++ b/src/globals.cc @@ -1,6 +1,6 @@ /* Definitions of global objects. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/globals_defs.hh b/src/globals_defs.hh index 9046c2b56..9ac1915d7 100644 --- a/src/globals_defs.hh +++ b/src/globals_defs.hh @@ -1,6 +1,6 @@ /* Declarations of global objects. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/globals_inlines.hh b/src/globals_inlines.hh index e53783706..da1e885d4 100644 --- a/src/globals_inlines.hh +++ b/src/globals_inlines.hh @@ -1,6 +1,6 @@ /* Implementation of global objects: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/globals_types.hh b/src/globals_types.hh index 1d6a75fb2..687fa2df9 100644 --- a/src/globals_types.hh +++ b/src/globals_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/initializer.hh b/src/initializer.hh index 980cf555e..f681040cd 100644 --- a/src/initializer.hh +++ b/src/initializer.hh @@ -1,6 +1,6 @@ /* Nifty counter object for the initialization of the library. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/intervals_defs.hh b/src/intervals_defs.hh index e773de555..59574c4bb 100644 --- a/src/intervals_defs.hh +++ b/src/intervals_defs.hh @@ -1,6 +1,6 @@ /* Helper classes for intervals. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/iterator_to_const_defs.hh b/src/iterator_to_const_defs.hh index f0c8b6019..74a889ba9 100644 --- a/src/iterator_to_const_defs.hh +++ b/src/iterator_to_const_defs.hh @@ -1,6 +1,6 @@ /* iterator_to_const and const_iterator_to_const class declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/iterator_to_const_inlines.hh b/src/iterator_to_const_inlines.hh index 386c4fa0f..1eb5e6bd9 100644 --- a/src/iterator_to_const_inlines.hh +++ b/src/iterator_to_const_inlines.hh @@ -1,7 +1,7 @@ /* iterator_to_const and const_iterator_to_const class implementations: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/iterator_to_const_types.hh b/src/iterator_to_const_types.hh index 29e2157ff..4b335a2a5 100644 --- a/src/iterator_to_const_types.hh +++ b/src/iterator_to_const_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/linearize.hh b/src/linearize.hh index 342bf009b..a43ed217f 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -1,6 +1,6 @@ /* Linearization function implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/math_utilities_defs.hh b/src/math_utilities_defs.hh index a40eba1c6..8b13404ed 100644 --- a/src/math_utilities_defs.hh +++ b/src/math_utilities_defs.hh @@ -1,6 +1,6 @@ /* Declarations of some math utility functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/math_utilities_inlines.hh b/src/math_utilities_inlines.hh index 00d61da1c..671bb6b60 100644 --- a/src/math_utilities_inlines.hh +++ b/src/math_utilities_inlines.hh @@ -1,6 +1,6 @@ /* Implementation of some math utility functions: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/max_space_dimension.hh b/src/max_space_dimension.hh index 64b1b1157..80c727a46 100644 --- a/src/max_space_dimension.hh +++ b/src/max_space_dimension.hh @@ -1,6 +1,6 @@ /* Definition of functions yielding maximal space dimensions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/meta_programming.hh b/src/meta_programming.hh index 83fc94588..9a75fb3e5 100644 --- a/src/meta_programming.hh +++ b/src/meta_programming.hh @@ -1,6 +1,6 @@ /* Metaprogramming utilities. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc index 918b9afd3..4556a1627 100644 --- a/src/mp_std_bits.cc +++ b/src/mp_std_bits.cc @@ -1,7 +1,7 @@ /* Definitions of specializations of std::numeric_limits objects for multi-precision types. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/mp_std_bits_defs.hh b/src/mp_std_bits_defs.hh index 0d078ecd3..87ec98b94 100644 --- a/src/mp_std_bits_defs.hh +++ b/src/mp_std_bits_defs.hh @@ -1,7 +1,7 @@ /* Declarations of specializations of std:: objects for multi-precision types. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/mp_std_bits_inlines.hh b/src/mp_std_bits_inlines.hh index 30b3160b1..90f1b24d8 100644 --- a/src/mp_std_bits_inlines.hh +++ b/src/mp_std_bits_inlines.hh @@ -1,7 +1,7 @@ /* Definitions of specializations of std:: functions and methods for multi-precision types. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/namespaces.hh b/src/namespaces.hh index 3a498ba75..7f0c45b40 100644 --- a/src/namespaces.hh +++ b/src/namespaces.hh @@ -1,6 +1,6 @@ /* Documentation for used namespaces. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 39be4353f..78c23bfe2 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -1,7 +1,7 @@ /* A program to enquire about the configuration of the PPL -*- C++ -*- and of the applications using it. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/ppl_header.hh b/src/ppl_header.hh index d661ea8c2..ca255136b 100644 --- a/src/ppl_header.hh +++ b/src/ppl_header.hh @@ -1,6 +1,6 @@ /* This is the header file of the Parma Polyhedra Library. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/stdiobuf.cc b/src/stdiobuf.cc index bc1803af9..027d34654 100644 --- a/src/stdiobuf.cc +++ b/src/stdiobuf.cc @@ -1,6 +1,6 @@ /* stdiobuf class implementation (non-inline functions). Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/stdiobuf_defs.hh b/src/stdiobuf_defs.hh index f964a12f0..103e48010 100644 --- a/src/stdiobuf_defs.hh +++ b/src/stdiobuf_defs.hh @@ -1,6 +1,6 @@ /* stdiobuf class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/stdiobuf_inlines.hh b/src/stdiobuf_inlines.hh index 44c85b93e..53b8c448b 100644 --- a/src/stdiobuf_inlines.hh +++ b/src/stdiobuf_inlines.hh @@ -1,6 +1,6 @@ /* stdiobuf class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/stdiobuf_types.hh b/src/stdiobuf_types.hh index 9da3559f4..f028d2aee 100644 --- a/src/stdiobuf_types.hh +++ b/src/stdiobuf_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/swapping_sort_templates.hh b/src/swapping_sort_templates.hh index 39dcdd322..653562199 100644 --- a/src/swapping_sort_templates.hh +++ b/src/swapping_sort_templates.hh @@ -1,6 +1,6 @@ /* Sorting objects for which copies cost more than swaps. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/termination.cc b/src/termination.cc index 6231e9af5..fa06d3273 100644 --- a/src/termination.cc +++ b/src/termination.cc @@ -1,6 +1,6 @@ /* Utilities for termination analysis: non-inline, non-template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/termination_defs.hh b/src/termination_defs.hh index 6b150ffb1..e4334bfbf 100644 --- a/src/termination_defs.hh +++ b/src/termination_defs.hh @@ -1,6 +1,6 @@ /* Utilities for termination analysis: declarations. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/termination_templates.hh b/src/termination_templates.hh index 334f61142..b106e524d 100644 --- a/src/termination_templates.hh +++ b/src/termination_templates.hh @@ -1,6 +1,6 @@ /* Utilities for termination analysis: template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/termination_types.hh b/src/termination_types.hh index a7d36853f..314c0b9a3 100644 --- a/src/termination_types.hh +++ b/src/termination_types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/version.cc b/src/version.cc index fbfc395a7..3337409a9 100644 --- a/src/version.cc +++ b/src/version.cc @@ -1,6 +1,6 @@ /* Definition of functions providing version and licensing information. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). @@ -33,7 +33,7 @@ const char version_string[] = PPL_PACKAGE_VERSION; const char banner_string[] = "This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n" "Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>\n" -"Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)\n" +"Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com)\n" "\n" "The PPL is free software; see the source for copying conditions.\n" "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n" diff --git a/src/version.hh.in b/src/version.hh.in index 0c40ac2b9..4d0fd2033 100644 --- a/src/version.hh.in +++ b/src/version.hh.in @@ -1,7 +1,7 @@ /* Declaration of macros and functions providing version -*- C++ -*- and licensing information. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index fb8b2c156..1f5b169dd 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -1,6 +1,6 @@ /* Generic implementation of the wrap_assign() function. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/wrap_string.cc b/src/wrap_string.cc index 7b0a33a9e..e789f3a65 100644 --- a/src/wrap_string.cc +++ b/src/wrap_string.cc @@ -1,6 +1,6 @@ /* String wrapping helper function. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/wrap_string.hh b/src/wrap_string.hh index b7345d6fe..fa278c710 100644 --- a/src/wrap_string.hh +++ b/src/wrap_string.hh @@ -1,6 +1,6 @@ /* Declaration of string wrapping function. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). |