next up previous
Next: constant / expression Up: A Compendium of Previous: dead-coding

range propagation

range_acc
[default value: 1] Accuracy used by range propagation ( 0=faster, 1=more accurate).
range_block
[default value: 0] 1=Restrict range constraints to work on a BLOCK by BLOCK basis.



Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997