
APT.all-test.Algebra.algebra.elaborations._all.soar Maven / Gradle / Ivy
sp {elaborate*state*name
(state ^superstate.operator.name )
-->
( ^name )
}
sp {elaborate*state*top-state
(state ^superstate.top-state )
-->
( ^top-state )
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy