#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 415 of file Interval_Restriction.defs.hh.
| typedef T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::modulo_type |
Definition at line 420 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] |
Definition at line 417 of file Interval_Restriction.defs.hh.
| T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::divisor |
Definition at line 422 of file Interval_Restriction.defs.hh.
| T Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >::remainder |
Definition at line 421 of file Interval_Restriction.defs.hh.
1.6.3