Determinate.defs.hh File Reference

#include "Determinate.types.hh"
#include "Constraint_System.types.hh"
#include "Congruence_System.types.hh"
#include "Variable.defs.hh"
#include "globals.types.hh"
#include <iosfwd>
#include <cassert>
#include "Determinate.inlines.hh"

Include dependency graph for Determinate.defs.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
namespace  Parma_Polyhedra_Library::IO_Operators
namespace  std

Classes

class  Parma_Polyhedra_Library::Determinate< PS >
 Wraps a PPL class into a determinate constraint system interface. More...
class  Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >
 A function adapter for the Determinate class. More...
class  Parma_Polyhedra_Library::Determinate< PS >::Rep
 The possibly shared representation of a Determinate object. More...


Generated on Sat Oct 11 10:40:02 2008 for PPL by  doxygen 1.5.6