#include <Interval_Restriction.defs.hh>
Public Types | |
typedef T | modulo_type |
Public Member Functions | |
template<typename From> | |
Simple_Restriction_Integer_Modulo (const From &r, const From &d) | |
Public Attributes | |
T | remainder |
T | divisor |
Definition at line 410 of file Interval_Restriction.defs.hh.
typedef T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::modulo_type |
Definition at line 415 of file Interval_Restriction.defs.hh.
Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::Simple_Restriction_Integer_Modulo | ( | const From & | r, | |
const From & | d | |||
) | [inline] |
T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::remainder |
Definition at line 416 of file Interval_Restriction.defs.hh.
T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::divisor |
Definition at line 417 of file Interval_Restriction.defs.hh.