jason.stdlib
Class difference
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.difference
- All Implemented Interfaces:
- InternalAction, java.io.Serializable
- Direct Known Subclasses:
- intersection, union
public class difference
- extends DefaultInternalAction
Internal action: .difference(S1,S2,S3)
.
Description: S3 is the difference between the sets S1 and S2 (represented by lists).
The result set is sorted.
Parameters:
- + arg[0] (a list).
- + arg[1] (a list).
- +/- arg[2]: the difference.
Examples:
-
.difference("[a,b,c]","[b,e]",X)
: X
unifies with "[a,c]".
-
.difference("[a,b,a,c]","[f,e,a,c]",X)
: X
unifies with "[b]".
- See Also:
concat
,
delete
,
length
,
member
,
sort
,
substring
,
nth
,
max
,
min
,
reverse
,
intersection
,
union
,
Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
difference
public difference()
create
public static InternalAction create()
getMinArgs
public int getMinArgs()
- Overrides:
getMinArgs
in class DefaultInternalAction
getMaxArgs
public int getMaxArgs()
- Overrides:
getMaxArgs
in class DefaultInternalAction
checkArguments
protected void checkArguments(Term[] args)
throws JasonException
- Overrides:
checkArguments
in class DefaultInternalAction
- Throws:
JasonException
execute
public java.lang.Object execute(TransitionSystem ts,
Unifier un,
Term[] args)
throws java.lang.Exception
- Description copied from interface:
InternalAction
- Executes the internal action. It should return a Boolean or
an Iterator. A true boolean return means that the IA was
successfully executed. An Iterator result means that there is
more than one answer for this IA (e.g. see member internal action).
- Specified by:
execute
in interface InternalAction
- Overrides:
execute
in class DefaultInternalAction
- Throws:
java.lang.Exception