#include <Interval_Restriction.defs.hh>
Public Types | |
typedef T | type |
Definition at line 35 of file Interval_Restriction.defs.hh.
typedef T Parma_Polyhedra_Library::Boundary_Value< T, Enable >::type |
Definition at line 36 of file Interval_Restriction.defs.hh.