Box.templates.hh File Reference

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

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

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 Documentation

#define PPL_Box_templates_hh   1

Definition at line 24 of file Box.templates.hh.


Generated on Sat Oct 11 10:39:45 2008 for PPL by  doxygen 1.5.6