
APT.all-test.towers-of-hanoi.towers-of-hanoi-recursive.move-disk.elaborations.soar Maven / Gradle / Ivy
sp {elaborate*state*desired
(state ^superstate )
( ^operator )
( ^disk
^to )
-->
( ^desired.move-disk )
( ^disk
^peg )}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy