Several (experimental) rewriter performance improvements

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset

https://mlaveaux.github.io/mCRL2-rust/

Boost Software License 1.0

0 stars 0 forks source link

Open mlaveaux opened 2 months ago

mlaveaux commented 2 months ago

Several ideas from jitty that could benefit the rewrite performance, implemented so far:

[x] Implemented a MatchTerm that can be used to avoid constructing the term to be matched.
[ ] Use a MatchTerm construction for the semi compressed tree, avoiding construction for rewriting conditions.