Parma_Polyhedra_Library::Simple_Restriction_Integer Class Reference

#include <Interval_Restriction.defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Simple_Restriction_Integer:

Inheritance graph
[legend]
Collaboration diagram for Parma_Polyhedra_Library::Simple_Restriction_Integer:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 Simple_Restriction_Integer (bool i)
bool get_integer () const

Private Attributes

bool integer


Detailed Description

Definition at line 184 of file Interval_Restriction.defs.hh.


Constructor & Destructor Documentation

Parma_Polyhedra_Library::Simple_Restriction_Integer::Simple_Restriction_Integer ( bool  i  )  [inline]

Definition at line 186 of file Interval_Restriction.defs.hh.

00187     : integer(i) {
00188   }


Member Function Documentation

bool Parma_Polyhedra_Library::Simple_Restriction_Integer::get_integer (  )  const [inline]

Definition at line 189 of file Interval_Restriction.defs.hh.

References integer.

00189                            {
00190     return integer;
00191   }


Member Data Documentation

Definition at line 193 of file Interval_Restriction.defs.hh.

Referenced by get_integer().


The documentation for this class was generated from the following file:

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