maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
88 stars 11 forks source link

Replace some dynamic_casts to FreeTerm with static casts #14

Closed dwightguth closed 1 year ago

dwightguth commented 1 year ago

In cases where the code in FreePreNet::buildNet and FreePreNet::semiCompile are particularly slow, these changes have shown a reduction in wall time of over 50%.