cartago
Class set_current_wsp

java.lang.Object
  extended by DefaultInternalAction
      extended by cartago.set_current_wsp

public class set_current_wsp
extends DefaultInternalAction

Internal action: cartago.set_current_wsp.


Constructor Summary
set_current_wsp()
           
 
Method Summary
 java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

set_current_wsp

public set_current_wsp()
Method Detail

execute

public java.lang.Object execute(TransitionSystem ts,
                                Unifier un,
                                Term[] args)
                         throws java.lang.Exception
Throws:
java.lang.Exception


>DEIS - University of Bologna