Common Subexpression Elimination - ProB Documentation

Help

Common Subexpression Elimination

Revision as of 17:35, 29 June 2015 by Michael Leuschel (talk | contribs) (Created page with 'As of version 1.5.1 ProB supports [https://en.wikipedia.org/wiki/Common_subexpression_elimination common subexpression elimination (CSE)]. To enable it you need to set the advan…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

As of version 1.5.1 ProB supports common subexpression elimination (CSE).

To enable it you need to set the advanced preference CSE to true (this can be done using the switch -p CSE TRUE when using the command-line version probcli or using the Advanced Preferences command in ProB Tcl/Tk).

Retrieved from "https://prob.hhu.de/w/index.php?title=Common_Subexpression_Elimination&oldid=2898"