#include <ppl_prolog_common.defs.hh>


Public Member Functions | |
| not_a_bounded_integer_type_representation (Prolog_term_ref term, const char *where) | |
Definition at line 224 of file ppl_prolog_common.defs.hh.
| Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_representation::not_a_bounded_integer_type_representation | ( | Prolog_term_ref | term, | |
| const char * | where | |||
| ) | [inline] |
Definition at line 226 of file ppl_prolog_common.defs.hh.
1.6.3