<> <> <<>> <> <> <<>> Filters: CEDAR DEFINITIONS = BEGIN PixelWeight: PUBLIC PROC[ centerA, widthA, centerB, widthB: REAL] RETURNS[ weight: REAL _ 0.0]; <> UncoveredRatio: PUBLIC PROC[ centerA, widthA, centerB, widthB: REAL, afterPixelA: BOOLEAN] RETURNS[ weight: REAL _ 0.0]; SetFilter: PUBLIC PROC[ i: [0..2)]; <> <<>> GetFilterWidth: PUBLIC PROC[] RETURNS[ INTEGER]; END.