jmadem
Class get_remove_MADeM_data
java.lang.Object
DefaultInternalAction
jmadem.get_remove_MADeM_data
public class get_remove_MADeM_data
- extends DefaultInternalAction
Internal function for getting the value of the automatic remove of MADeM data flag.
Use:
jmadem.get_remove_MADeM_data(Value)
- Author:
- Francisco Grimaldo
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 |
serialVersionUID
private static final long serialVersionUID
- See Also:
- Constant Field Values
logger
java.util.logging.Logger logger
get_remove_MADeM_data
public get_remove_MADeM_data()
execute
public java.lang.Object execute(TransitionSystem ts,
Unifier un,
Term[] args)
throws java.lang.Exception
- Throws:
java.lang.Exception