// $Source$ // $Revision$ // $Date$ $table Known-Lengths; $table Compute-Length; $table Unknown-Lengths; $box Checked-Lengths; $box Eqs; $func Init-Clashes e.clashes = ; //$func Reclassify-Clash t.idx = ; $func Reclassify-Clash e = e; $func Update-Hard-Parts = e.actions; $func Compose-Source-For-Deref = e; $func? Get-Cycle = (e.left) (e.right) (e.len) t.var t.left t.right; ////////////////////////////////////// $func Get-Known-Length e.expr = e.length-of-known-part (e.unknown-vars);