Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception Class Reference

#include <ppl_prolog_common_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception:

Public Member Functions
	internal_exception (Prolog_term_ref term, const char *where)
virtual	~internal_exception ()
virtual Prolog_term_ref	term () const
virtual const char *	where () const

Private Attributes
Prolog_term_ref	t
const char *	w

Detailed Description

Definition at line 132 of file ppl_prolog_common_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::internal_exception ( Prolog_term_ref  term, const char *  where  )

inline

Definition at line 138 of file ppl_prolog_common_defs.hh.

virtual Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::~internal_exception ( )

inlinevirtual

Definition at line 143 of file ppl_prolog_common_defs.hh.

Member Function Documentation

virtual Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::term ( ) const

inlinevirtual

Definition at line 146 of file ppl_prolog_common_defs.hh.

References t.

virtual const char* Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::where ( ) const

inlinevirtual

Definition at line 150 of file ppl_prolog_common_defs.hh.

References w.

Member Data Documentation

Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::t

private

Definition at line 134 of file ppl_prolog_common_defs.hh.

Referenced by term().

const char* Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception::w

private

Definition at line 135 of file ppl_prolog_common_defs.hh.

Referenced by where().

---

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

• ppl_prolog_common_defs.hh