This section deals with automatic program transformations such as unfolding and tuning techniques.
Unfolding transformation.
unfold(Id) unfolds the rule with identifier Id.
2018 - 2021 José Antonio Riaza Valverde | jariazavalverde/fasill | University of Castilla-La Mancha, DEC-Tau research group
Released under the BSD-3 Clause license | Uses Font Awesome and Bootstrap