Accelerate `FragPop_NonDet`

nfrisby / frags

Plugin gonna getcha, row types

0 stars 1 forks source link

Open nfrisby opened 5 years ago

nfrisby commented 5 years ago

FragPop_NonDet could pop a multiplicity sooner; right now it waits until the root is nil, but that's overly conservative.