[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

APRON PPL standard options

Currently, the only options available are related to the widening operators.

Function algo Comments
widening <=0 CH78 standard widening (Cousot & Halbwachs, POPL'1978).
>0 BHRZ03 widening (Bagnara, Hill, Ricci & Zafanella, SAS'2003)
widening_threshold <=0 standard widening with threshold
=1 standard widening with threshold, intersected by the bounding box of the convex hull pof the two arguments
<=0 standard widening with threshold
=1 standard widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)
=2 BHRZ03 widening with threshold
=3 BHRZ03 widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)



This document was generated on September, 10 2009 using texi2html