Improve initial states generation#58

Open

merkste wants to merge 35 commits intoprismmodelchecker:masterfrom

merkste:improve-initial-states-generation

Commits on Sep 10, 2021

Complement and comment functional interfaces

Steffen Märcker
authored and
merkste
committed
Implement new functional interfaces to deal with primitive types

Steffen Märcker
authored and
merkste
committed
Implement interface PrimitiveIterable

Steffen Märcker
authored and
merkste
committed
Implement functional iteration API similar to Streams

Steffen Märcker
authored and
merkste
committed
Adapt IntSet to properly implement IterableInt

Steffen Märcker
authored and
merkste
committed
Implement class Range to supersede Interval and RangeIntIterable

Steffen Märcker
authored and
merkste
committed
Adjust classpath to include test directory

Steffen Märcker
authored and
merkste
committed
Implement assertions on iterators

Steffen Märcker
authored and
merkste
committed
Test interface Reducible
merkste
committed
Test interface PrimitiveReducible
merkste
committed
Test interface FunctionalIterator
merkste
committed
Test interface FunctionalPrimitiveIterator
merkste
committed
Test interface FunctionalIterable
merkste
committed
Test interface FunctionalPrimitiveIterable
merkste
committed
Test IteratorAdaptor
merkste
committed
Test IterableAdaptor
merkste
committed
Test ArrayIterator
merkste
committed
Test IterableArray
merkste
committed
Test EmptyIterator
merkste
committed
Test EmptyIterable
merkste
committed
Test SingletonIterator
merkste
committed
Test SingletonIterable
merkste
committed
Test PrimitiveIterable
merkste
committed
Test ChainedIterator
merkste
committed
Test ChainedIterable
merkste
committed
Test MappingIterator
merkste
committed
Test MappingIterable
merkste
committed
Test Distinct
merkste
committed
Test FilteringIterator
merkste
committed
Test FilteringIterable
merkste
committed
Test Range
merkste
committed
Add JUnit platform to libs
merkste
committed
Add Makefile to build tests
merkste
committed
Run unit tests from Makefile
merkste
committed
Improve initial states generation

Steffen Märcker
authored and
merkste
committed