Implement concat as static function

prismmodelchecker / prism

The main development version of the PRISM model checker.

http://www.prismmodelchecker.org/

GNU General Public License v2.0

157 stars 72 forks source link

Closed merkste closed 1 year ago

merkste commented 1 year ago

To make code more readable, this PR adds static functions for concatenation to Reducible. Then

new ChainedIterable.Of<>(iterables)

becomes

Reducible.concat(iterables)

or even

concat(iterables)

if concat is statically imported.