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