Explanation of REUSE_OPERATION is not clear
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Michael Leuschel September 28, 2018 at 8:09 AM
I have updated the preference_description fact. A full explanation needs an example though:
true: performs local propagation to successor states for statically computed operation pairs
full: caches a projected state space per eligible operation in LTSmin style
Details
Details
Assignee
Michael LeuschelReporter
Jens BendispostoPriority
MajorCreated July 29, 2016 at 1:39 PM
Updated September 28, 2018 at 8:09 AM
Neither the command line nor the Wiki give an explanation what the meaning of true, false and full is. Maybe we should add some clarification (in particular, what is the difference between true and full)