Parma_Polyhedra_Library::Interfaces::Prolog::GNU Namespace Reference
[C++ Language Interface]
Data and functions related to the
GNU Prolog foreign language interface.
More...
Detailed Description
Data and functions related to the
GNU Prolog foreign language interface.