public class current_wsp
extends DefaultInternalAction
Internal action: cartago.get_current_wsp
.
Constructor and Description |
---|
current_wsp() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args) |
>DEIS - University of Bologna