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