#include <ppl_prolog_common.defs.hh>


Public Member Functions | |
| Prolog_unsigned_out_of_range (Prolog_term_ref term, const char *where, unsigned long max) | |
| unsigned long | max () const |
Private Attributes | |
| unsigned long | m |
Definition at line 158 of file ppl_prolog_common.defs.hh.
| Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_unsigned_out_of_range::Prolog_unsigned_out_of_range | ( | Prolog_term_ref | term, | |
| const char * | where, | |||
| unsigned long | max | |||
| ) | [inline] |
Definition at line 163 of file ppl_prolog_common.defs.hh.
| unsigned long Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_unsigned_out_of_range::max | ( | ) | const [inline] |
Definition at line 170 of file ppl_prolog_common.defs.hh.
References m.
unsigned long Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_unsigned_out_of_range::m [private] |
Definition at line 160 of file ppl_prolog_common.defs.hh.
Referenced by max().
1.6.3