Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Informatik 8
CoPaR
Repository
copar
tests
Data
RefinablePartitionSpec.hs
Find file
Blame
History
Permalink
Implement RefinablePartition.markedStates
· ac5f6075
Hans-Peter Deifel
authored
May 31, 2018
This is needed to be able to iterate over marked states instead of just using them for splitting.
ac5f6075