Package: jcsp.util.filter

[Java] Interface WriteFiltered