Home
last modified time | relevance | path

Searched refs:inverse_relsym (Results 1 – 5 of 5) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_public.cc3269 const Relation_Symbol inverse_relsym in generalized_affine_preimage() local
3272 generalized_affine_image(var, inverse_relsym, inverse_expr, in generalized_affine_preimage()
H A DBox_templates.hh3700 Relation_Symbol inverse_relsym in generalized_affine_preimage() local
3704 generalized_affine_image(var, inverse_relsym, inverse_expr, in generalized_affine_preimage()
H A DBD_Shape_templates.hh6220 const Relation_Symbol inverse_relsym in generalized_affine_preimage() local
6222 generalized_affine_image(var, inverse_relsym, inverse, inverse_denom); in generalized_affine_preimage()
H A DOctagonal_Shape_templates.hh7083 const Relation_Symbol inverse_relsym in generalized_affine_preimage() local
7085 generalized_affine_image(var, inverse_relsym, inverse, inverse_denom); in generalized_affine_preimage()
H A Dppl.hh.dist78137 const Relation_Symbol inverse_relsym
78139 generalized_affine_image(var, inverse_relsym, inverse, inverse_denom);
86767 const Relation_Symbol inverse_relsym
86769 generalized_affine_image(var, inverse_relsym, inverse, inverse_denom);
91319 Relation_Symbol inverse_relsym
91323 generalized_affine_image(var, inverse_relsym, inverse_expr,