2
2
constraints of an octagon that is defined by a system of
3
3
constraints that contains only a trivially false constraint.
4
4
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
6
7
This file is part of the Parma Polyhedra Library (PPL).