#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 "Interval_defs.hh"
#include "Linear_Form_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>

Include dependency graph for Box_templates.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

	Parma_Polyhedra_Library::Implementation
	Implementation related data and functions.

	Parma_Polyhedra_Library::Implementation::Boxes

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 numer, Coefficient_traits::const_reference denom=Coefficient_one())
	Returns the relations holding between an interval and an interval constraint. More...

bool	Parma_Polyhedra_Library::Implementation::Boxes::propagate_constraint_check_result (Result r, Ternary &open)

Namespaces

Functions