#include "Variables_Set.defs.hh"#include "Constraint_System.defs.hh"#include "Constraint_System.inlines.hh"#include "Generator_System.defs.hh"#include "Generator_System.inlines.hh"#include "Poly_Con_Relation.defs.hh"#include "Poly_Gen_Relation.defs.hh"#include "Polyhedron.defs.hh"#include "Grid.defs.hh"#include "BD_Shape.defs.hh"#include "Octagonal_Shape.defs.hh"#include "MIP_Problem.defs.hh"#include "Rational_Interval.hh"#include <vector>#include <map>#include <iostream>

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
Functions | |
| template<typename ITV > | |
| bool | Parma_Polyhedra_Library::operator== (const Box< ITV > &x, const Box< ITV > &y) |
| template<typename ITV > | |
| Poly_Con_Relation | Parma_Polyhedra_Library::interval_relation (const ITV &i, const Constraint::Type constraint_type, Coefficient_traits::const_reference num, Coefficient_traits::const_reference den=1) |
| Returns the relations holding between an interval and an interval constraint. | |
1.6.3