PPL Prolog Language Interface  1.2
Parma_Polyhedra_Library::Interfaces::Prolog::non_linear Class Reference

#include <ppl_prolog_common_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Interfaces::Prolog::non_linear:
Collaboration diagram for Parma_Polyhedra_Library::Interfaces::Prolog::non_linear:

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 charwhere () const
 

Detailed Description

Definition at line 172 of file ppl_prolog_common_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Interfaces::Prolog::non_linear::non_linear ( Prolog_term_ref  term,
const char where 
)
inline

Definition at line 174 of file ppl_prolog_common_defs.hh.


The documentation for this class was generated from the following file: