|
PPL Prolog Language Interface
1.2
|
#include <ppl_prolog_common_defs.hh>


Public Member Functions | |
| non_linear (Prolog_term_ref term, const char *where) | |
Public Member Functions inherited from Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception | |
| internal_exception (Prolog_term_ref term, const char *where) | |
| virtual | ~internal_exception () |
| virtual Prolog_term_ref | term () const |
| virtual const char * | where () const |
Definition at line 172 of file ppl_prolog_common_defs.hh.
|
inline |
Definition at line 174 of file ppl_prolog_common_defs.hh.