public class term_to_tuple
extends DefaultInternalAction
Internal action: cartago.termToTuple
.
Description: get a CArtAgO tuple from a Jason term [temporary, still to be refined].
Parameters:
Constructor and Description |
---|
term_to_tuple() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args) |
>DEIS - University of Bologna