Operator filtering - Githubissues

rheem-ecosystem / rheem

Rheem - a cross-platform data processing system

https://rheem-ecosystem.github.io

5 stars 0 forks source link

Closed sekruse closed 7 years ago

sekruse commented 7 years ago

This PR addresses #66:

ExecutionOperators and ChannelConversions provide a method isFiltered to decide whether they are usable in a certain context.
By default, ExecutionOperators are associated to a key ***.limit that tells (if defined) the maximum number of processable data quanta.