jmadem
Class remove_utility_function

java.lang.Object
  extended by DefaultInternalAction
      extended by jmadem.remove_utility_function

public class remove_utility_function
extends DefaultInternalAction

Internal function for removing an utility function to the MADeM agent.

Use: jmadem.remove_utility_function("package.UtilityFunctionName")

Author:
Francisco Grimaldo

Field Summary
(package private)  java.util.logging.Logger logger
           
private static long serialVersionUID
           
 
Constructor Summary
remove_utility_function()
           
 
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
 

Field Detail

serialVersionUID

private static final long serialVersionUID
See Also:
Constant Field Values

logger

java.util.logging.Logger logger
Constructor Detail

remove_utility_function

public remove_utility_function()
Method Detail

execute

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