public class add_utility_function
extends DefaultInternalAction
Use:
jmadem.add_utility_function("package.UtilityFunctionName")
| Modifier and Type | Field and Description |
|---|---|
(package private) java.util.logging.Logger |
logger |
private static long |
serialVersionUID |
| Constructor and Description |
|---|
add_utility_function() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args) |
private static final long serialVersionUID
java.util.logging.Logger logger