Conversion Between Integer Sets and Polyhedron
Dear All,
I'm learning how to use PPL for my research project, written in the integer set library(ISL). Is there an interface available within the PPL library or an external solution to convert the Integer Sets or Relations of the ISL library to the C_Polyhedron object in PPL?
Best Regards,
Nilesh
-------
Nilesh Shah
Mtech RA
Department of CSE
IIT Hyderabad
Hi there.
I am not familiar with the ISL library. If you can describe your problem in terms that do not have knowledge of ISL as a prerequisite I will try to help you. Kind regards,
Roberto
Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematical, Physical and Computer Sciences University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
On 8/4/21 5:42 PM, Nilesh Shah wrote:
Dear All,
I'm learning how to use PPL for my research project, written in the integer set library(ISL). Is there an interface available within the PPL library or an external solution to convert the Integer Sets or Relations of the ISL library to the C_Polyhedron object in PPL?
Best Regards,
Nilesh
Nilesh Shah
Mtech RA
Department of CSE
IIT Hyderabad
Disclaimer:- This footer text is to convey that this email is sent by one of the users of IITH. So, do not mark it as SPAM.
PPL-devel mailing list PPL-devel@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel
On Wed, Aug 04, 2021 at 09:12:39PM +0530, Nilesh Shah wrote:
Dear All,
I'm learning how to use PPL for my research project, written in the integer set library(ISL). Is there an interface available within the PPL library or an external solution to convert the Integer Sets or Relations of the ISL library to the C_Polyhedron object in PPL?
I think you need to clarify that a bit. AFAIK, a C_Polyhedron represents a convex set in the rationals (or even reals). It therefore can't accurately represent a set of integer tuples. It may help if you explain what exactly you are trying to achieve.
skimo
participants (3)
-
Nilesh Shah -
Roberto Bagnara -
Sven Verdoolaege