Searched refs:inverse_relsym (Results 1 – 5 of 5) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Polyhedron_public.cc | 3269 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 D | Box_templates.hh | 3700 Relation_Symbol inverse_relsym in generalized_affine_preimage() local 3704 generalized_affine_image(var, inverse_relsym, inverse_expr, in generalized_affine_preimage()
|
H A D | BD_Shape_templates.hh | 6220 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 D | Octagonal_Shape_templates.hh | 7083 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 D | ppl.hh.dist | 78137 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,
|