#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 <iostream>


Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
Defines | |
| #define | PPL_Box_templates_hh 1 |
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. | |
| bool | Parma_Polyhedra_Library::propagate_constraint_check_result (Result r, Ternary &open) |
| #define PPL_Box_templates_hh 1 |
Definition at line 24 of file Box.templates.hh.
1.5.6